--- 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
 
 
 
 
 
+