diff -r 32f23c969f82 -r a79a6a286108 README --- a/README Tue Feb 07 01:56:57 2017 +0000 +++ b/README Tue Feb 07 02:10:22 2017 +0000 @@ -25,7 +25,7 @@ Journal: isabelle build -c -v -d . Journal Literature -Test 8 +Test 9