# HG changeset patch
# User Christian Urban <christian dot urban at kcl dot ac dot uk>
# Date 1487596084 0
# Node ID 8a9767ab64155fb0dff8c097a3f2b9493e37add0
# Parent  15f4481bc0c9c168c38ffb54fd570f8f1837709e# Parent  a79a6a286108faed97b05743fdfe84e4a8467f10
merged

diff -r 15f4481bc0c9 -r 8a9767ab6415 README
--- a/README	Mon Feb 20 13:07:26 2017 +0000
+++ b/README	Mon Feb 20 13:08:04 2017 +0000
@@ -1,3 +1,5 @@
+
+
 Theories:
 =========
 
@@ -23,7 +25,7 @@
   Journal:     isabelle build -c -v -d . Journal
   Literature
   
-Test 3
+Test 9