diff -r 0bc1db726f81 -r ac3470e1e5af Slides/ROOT4.ML --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/Slides/ROOT4.ML Tue Aug 31 21:03:08 2010 +0800 @@ -0,0 +1,6 @@ +show_question_marks := false; +quick_and_dirty := true; + +no_document use_thy "LaTeXsugar"; + +use_thy "Slides4" \ No newline at end of file