# HG changeset patch
# User xingyuan zhang <xingyuanzhang@126.com>
# Date 1445069670 -28800
# Node ID fee01b2858a2c48358149e8062f32f68ee32078c
# Parent  8142e80f5d589c9b22b8f2844c57752a55d415eb# Parent  78adeef368c1e5cfc859911093af00fb0628b83d
Merge with tip

diff -r 8142e80f5d58 -r fee01b2858a2 README
--- 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
 
 
 
 
 
+