test6
authorChristian Urban <urbanc@in.tum.de>
Tue, 07 Feb 2017 01:22:14 +0000
changeset 148 c63dd8b1231c
parent 147 f4db1ce7df3c
child 149 5a693e176c06
test6
README
--- a/README	Tue Feb 07 01:20:26 2017 +0000
+++ b/README	Tue Feb 07 01:22:14 2017 +0000
@@ -25,7 +25,7 @@
   Journal:     isabelle build -c -v -d . Journal
   Literature
   
-Test 5
+Test 6