ROOT
changeset 272 42f2c28d1ce6
parent 271 4457185b22ef
child 282 02b6fab379ba
--- a/ROOT	Wed Jul 17 10:33:19 2013 +0100
+++ b/ROOT	Tue Jul 23 09:06:34 2013 +0200
@@ -25,4 +25,4 @@
 session Slides2 in Slides = UTM +
   options [document = pdf, document_output = "..", document_variants = "slides2"]
   theories
-    "Slides2"
\ No newline at end of file
+    "Slides2"