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 +