--- a/README Tue Oct 06 14:13:52 2015 +0100 +++ b/README Tue Oct 06 14:22:34 2015 +0100 @@ -23,7 +23,7 @@ Journal: isabelle build -c -v -d . Journal Literature - +Test 3