export init_outer_syntax;

--- a/src/Pure/ProofGeneral/proof_general_emacs.ML	Sat Oct 06 17:53:45 2007 +0200
+++ b/src/Pure/ProofGeneral/proof_general_emacs.ML	Sat Oct 06 21:21:45 2007 +0200
@@ -9,6 +9,7 @@
 signature PROOF_GENERAL =
 sig
   val init: bool -> unit
+  val init_outer_syntax: unit -> unit
   val sendback: string -> Pretty.T list -> unit
   val write_keywords: string -> unit
 end;