--- a/README	Tue Mar 04 16:38:38 2014 +0000
+++ b/README	Tue Mar 04 16:47:54 2014 +0000
@@ -8,7 +8,20 @@
  ExtGG.thy               The correctness proof of the PIP-model.
  CpsG.thy                Properties interesting for an implementation.
 
-The repository can be checked using Isabelle 2011-1.
+The repository can be checked using Isabelle 2013-2.
+
+  isabelle build -d . PIP
+
+
+Othe directories are:
+=====================
 
-  isabelle make session
+  Slides
+  Paper
+  Journal
+  Literature
 
+
+
+
+