Dummy session with outer syntax keyword initialization.

--- /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 ();
+