# HG changeset patch
# User wenzelm
# Date 1191698505 -7200
# Node ID e4400a70eeaa997eeb644956ad976d0c15d48c2a
# Parent  9de439f51e3c07d72b8e05a3d5fd758f04175373
export init_outer_syntax;

diff -r 9de439f51e3c -r e4400a70eeaa src/Pure/ProofGeneral/proof_general_emacs.ML
--- 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;