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.
merged
authorChristian Urban <christian dot urban at kcl dot ac dot uk>
Mon, 20 Feb 2017 13:08:04 +0000
changeset 153 8a9767ab6415
parent 152 15f4481bc0c9 (current diff)
parent 151 a79a6a286108 (diff)
child 154 9756a51f2223
merged
--- a/README	Mon Feb 20 13:07:26 2017 +0000
+++ b/README	Mon Feb 20 13:08:04 2017 +0000
@@ -1,3 +1,5 @@
+
+
 Theories:
 =========
 
@@ -23,7 +25,7 @@
   Journal:     isabelle build -c -v -d . Journal
   Literature
   
-Test 3
+Test 9
pip