# HG changeset patch
# User Christian Urban <urbanc@in.tum.de>
# Date 1486429846 0
# Node ID 2d66c0b0bacf735d1200da535f49e668b9f32690
# Parent  188fe0c81ac75896e4ab91ce8d3127a3a8cecfe5
test

diff -r 188fe0c81ac7 -r 2d66c0b0bacf README
--- a/README	Mon Feb 06 12:27:20 2017 +0000
+++ b/README	Tue Feb 07 01:10:46 2017 +0000
@@ -1,3 +1,5 @@
+
+
 Theories:
 =========
 
@@ -23,7 +25,7 @@
   Journal:     isabelle build -c -v -d . Journal
   Literature
   
-Test 3
+Test 4