# HG changeset patch
# User Christian Urban <urbanc@in.tum.de>
# Date 1486433422 0
# Node ID a79a6a286108faed97b05743fdfe84e4a8467f10
# Parent  32f23c969f828c4415f4908884ee6cae724a2867
test9

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