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