--- a/Slides/ROOT1.ML Thu Sep 23 05:28:40 2010 +0200 +++ b/Slides/ROOT1.ML Sat Sep 25 02:53:39 2010 +0200 @@ -1,4 +1,4 @@ -show_question_marks := false; +(* show_question_marks := false; *) quick_and_dirty := true; no_document use_thy "LaTeXsugar";