# HG changeset patch
# User wenzelm
# Date 1191701239 -7200
# Node ID 711142251c813f16eeff0f6bd4dfa3b172a85557
# Parent  c827d25b2983d2c945c70b8ff3061bedd8def175
Dummy session with outer syntax keyword initialization.

diff -r c827d25b2983 -r 711142251c81 src/Pure/ProofGeneral/proof_general_keywords.ML
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/Pure/ProofGeneral/proof_general_keywords.ML	Sat Oct 06 22:07:19 2007 +0200
@@ -0,0 +1,9 @@
+(*  Title:      Pure/ProofGeneral/proof_general_keywords.ML
+    ID:         $Id$
+    Author:     Makarius
+
+Dummy session with outer syntax keyword initialization.
+*)
+
+ProofGeneral.init_outer_syntax ();
+