test9
authorChristian Urban <urbanc@in.tum.de>
Tue, 07 Feb 2017 02:10:22 +0000
changeset 151 a79a6a286108
parent 150 32f23c969f82
child 153 8a9767ab6415
test9
README
--- a/README	Tue Feb 07 01:56:57 2017 +0000
+++ b/README	Tue Feb 07 02:10:22 2017 +0000
@@ -25,7 +25,7 @@
   Journal:     isabelle build -c -v -d . Journal
   Literature
   
-Test 8
+Test 9