src/Pure/Isar/outer_syntax.ML

--- a/src/Pure/Isar/outer_syntax.ML	Sat May 15 23:32:15 2010 +0200
+++ b/src/Pure/Isar/outer_syntax.ML	Sat May 15 23:40:00 2010 +0200
@@ -34,7 +34,7 @@
   val load_thy: string -> Position.T -> string list -> bool -> unit -> unit
 end;
 
-structure OuterSyntax: OUTER_SYNTAX =
+structure Outer_Syntax: OUTER_SYNTAX =
 struct
 
 structure T = OuterLex;
@@ -296,3 +296,7 @@
   in after_load end;
 
 end;
+
+(*legacy alias*)
+structure OuterSyntax = Outer_Syntax;
+