diff -r 6f08b13c0242 -r 06d5fc15594d slides/slides09.tex
--- a/slides/slides09.tex	Tue Nov 25 15:54:28 2014 +0000
+++ b/slides/slides09.tex	Wed Nov 26 10:15:43 2014 +0000
@@ -3,7 +3,7 @@
 \usepackage{../langs}
 \usepackage{../graphics}
 \usepackage{../grammar}
-\usepackage{soul}
+%\usepackage{soul}
 
 \makeatletter
 \newenvironment<>{btHighlight}[1][]