# HG changeset patch
# User wenzelm
# Date 1006994984 -3600
# Node ID abf3d7aa09eabb01589339d23534847e9475e67c
# Parent  3b31490191d8e65b703690c5d2f72f17a11595f2
tuned;

diff -r 3b31490191d8 -r abf3d7aa09ea src/Pure/Isar/ROOT.ML
--- a/src/Pure/Isar/ROOT.ML	Thu Nov 29 00:45:12 2001 +0100
+++ b/src/Pure/Isar/ROOT.ML	Thu Nov 29 01:49:44 2001 +0100
@@ -28,7 +28,7 @@
 use "skip_proof.ML";
 
 (*outer syntax*)
-(*use "outer_lex.ML";*)	  (*see ../Thy/ROOT.ML*)
+(*use "outer_lex.ML";*)   (*see ../Thy/ROOT.ML*)
 use "antiquote.ML";
 use "comment.ML";
 use "outer_parse.ML";