# HG changeset patch
# User wenzelm
# Date 1138059805 -3600
# Node ID 3f8bcf80dc1871376a1268aafb0d1479b3f9e895
# Parent  e2b4ba340ff192a2c7d74ef5f1be54ab48def7aa
tuned;

diff -r e2b4ba340ff1 -r 3f8bcf80dc18 src/Pure/Isar/ROOT.ML
--- a/src/Pure/Isar/ROOT.ML	Tue Jan 24 00:43:24 2006 +0100
+++ b/src/Pure/Isar/ROOT.ML	Tue Jan 24 00:43:25 2006 +0100
@@ -29,7 +29,6 @@
 use "specification.ML";
 use "constdefs.ML";
 
-
 (*outer syntax*)
 use "antiquote.ML";
 use "outer_parse.ML";