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.
test
authorChristian Urban <christian dot urban at kcl dot ac dot uk>
Tue, 06 Oct 2015 14:11:28 +0100
changeset 50 38ad30559775
parent 49 8679d75b1d76
child 51 d462d449505f
test
README file | annotate | diff | comparison | revisions 
--- a/README	Tue Oct 06 18:52:04 2015 +0800
+++ b/README	Tue Oct 06 14:11:28 2015 +0100
@@ -20,13 +20,14 @@
 
   Slides
   Paper
-  Journal
+  Journal:     isabelle build -c -v -d . Journal
+
   Literature
   
   
-Just a test line, from XY
 
 
 
 
 
+
pip