Slides/ROOT.ML
author Christian Urban <urbanc@in.tum.de>
Thu, 10 Jun 2010 14:53:28 +0200 (2010-06-10)
changeset 2314 1a14c4171a51
parent 2299 09bbed4f21d6
permissions -rw-r--r--
premerge
show_question_marks := false;
quick_and_dirty := true;

no_document use_thy "LaTeXsugar";

use_thy "Slides1"