sync;

--- a/src/Pure/Isar/isar.ML	Wed Jun 30 12:22:31 1999 +0200
+++ b/src/Pure/Isar/isar.ML	Wed Jun 30 12:22:45 1999 +0200
@@ -9,6 +9,8 @@
 sig
   val main: unit -> unit
   val loop: unit -> unit
+  val sync_main: unit -> unit
+  val sync_loop: unit -> unit
   val help: unit -> unit
 end;
 
@@ -17,6 +19,8 @@
 
 val main = OuterSyntax.main;
 val loop = OuterSyntax.loop;
+val sync_main = OuterSyntax.sync_main;
+val sync_loop = OuterSyntax.sync_loop;
 val help = OuterSyntax.help;
 
 end;