# HG changeset patch
# User Christian Urban <urbanc@in.tum.de>
# Date 1486430678 0
# Node ID 5a693e176c0649e5d8ef23673910e578c1e504af
# Parent  c63dd8b1231c8d7cd6a1ffcefad24964aaff65ac
test7

diff -r c63dd8b1231c -r 5a693e176c06 README
--- a/README	Tue Feb 07 01:22:14 2017 +0000
+++ b/README	Tue Feb 07 01:24:38 2017 +0000
@@ -25,7 +25,7 @@
   Journal:     isabelle build -c -v -d . Journal
   Literature
   
-Test 6
+Test 7