Slides/ROOT1.ML
changeset 16 663816814e3e
equal deleted inserted replaced
15:7f64d98124a8 16:663816814e3e
       
     1 (*show_question_marks := false;*)
       
     2 
       
     3 no_document use_thy "LaTeXsugar";
       
     4 quick_and_dirty := true;
       
     5 use_thy "Slides1"