--- a/README Tue Feb 07 01:10:46 2017 +0000 +++ b/README Tue Feb 07 01:20:26 2017 +0000 @@ -25,7 +25,7 @@ Journal: isabelle build -c -v -d . Journal Literature -Test 4 +Test 5