Mercurial Mercurial > hg > pip / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
updated readme
authorChristian Urban <christian dot urban at kcl dot ac dot uk>
Tue, 04 Mar 2014 16:47:54 +0000
changeset 29 408ff78ce28f
parent 28 7fa738a9615a
child 30 7f87232d9424
child 31 8f026b608378
updated readme
README file | annotate | diff | comparison | revisions 
--- 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
 
+
+
+
+
pip