# HG changeset patch
# User Christian Urban <christian dot urban at kcl dot ac dot uk>
# Date 1444137232 -3600
# Node ID d462d449505fdc848902e5f2a93e4bcf92515425
# Parent  38ad30559775f7d693bb4d4efe0992c5ea7c3f05
another test

diff -r 38ad30559775 -r d462d449505f README
--- a/README	Tue Oct 06 14:11:28 2015 +0100
+++ b/README	Tue Oct 06 14:13:52 2015 +0100
@@ -21,7 +21,6 @@
   Slides
   Paper
   Journal:     isabelle build -c -v -d . Journal
-
   Literature