--- a/src/Pure/Isar/outer_parse.ML Wed Apr 13 18:46:52 2005 +0200 +++ b/src/Pure/Isar/outer_parse.ML Wed Apr 13 18:47:01 2005 +0200 @@ -364,3 +364,4 @@ end; +