diff -r 4457185b22ef -r 42f2c28d1ce6 README
--- a/README	Wed Jul 17 10:33:19 2013 +0100
+++ b/README	Tue Jul 23 09:06:34 2013 +0200
@@ -29,4 +29,11 @@
 isabelle build -d . UTM
 isabelle make utm     -- creates the big session file
 
-isabelle make itp     -- creates paper
\ No newline at end of file
+isabelle make itp     -- creates paper
+
+
+
+============================
+ROOT setup
+
+isabelle build -d . Slides2
\ No newline at end of file