diff -r 5a693e176c06 -r 32f23c969f82 README
--- a/README	Tue Feb 07 01:24:38 2017 +0000
+++ b/README	Tue Feb 07 01:56:57 2017 +0000
@@ -25,7 +25,7 @@
   Journal:     isabelle build -c -v -d . Journal
   Literature
   
-Test 7
+Test 8