# HG changeset patch
# User Christian Urban <christian dot urban at kcl dot ac dot uk>
# Date 1444137088 -3600
# Node ID 38ad30559775f7d693bb4d4efe0992c5ea7c3f05
# Parent  8679d75b1d76962b6ca13229e188c3a4bfc86983
test

diff -r 8679d75b1d76 -r 38ad30559775 README
--- 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
 
 
 
 
 
+