# HG changeset patch
# User Christian Urban <christian dot urban at kcl dot ac dot uk>
# Date 1393951674 0
# Node ID 408ff78ce28f55e9922d77e18126b80b3dd33920
# Parent  7fa738a9615a0cb0ce92cf2f46f6a6b25362237d
updated readme

diff -r 7fa738a9615a -r 408ff78ce28f README
--- 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
 
+
+
+
+