diff -r c89013dca1aa -r 7ea6b019ce24 ROOT
--- a/ROOT	Fri May 30 07:56:39 2014 +0100
+++ b/ROOT	Mon Jun 02 14:58:42 2014 +0100
@@ -1,7 +1,8 @@
 session "PIP" = HOL +
   theories [document = false]
 	"CpsG" 
-	"ExtGG" 
+	"ExtGG"
+        "Test" 
 
 session "Slides2" in "Slides" = PIP +
   options [document_variants="slides2"]