Merge with tip
authorxingyuan zhang <xingyuanzhang@126.com>
Sat, 17 Oct 2015 16:14:30 +0800
changeset 54 fee01b2858a2
parent 53 8142e80f5d58 (current diff)
parent 52 78adeef368c1 (diff)
child 55 b85cfbd58f59
Merge with tip
--- a/README	Sat Oct 17 16:10:33 2015 +0800
+++ b/README	Sat Oct 17 16:14:30 2015 +0800
@@ -20,13 +20,13 @@
 
   Slides
   Paper
-  Journal
+  Journal:     isabelle build -c -v -d . Journal
   Literature
   
-  
-Just a test line, from XY
+Test 3
 
 
 
 
 
+