--- a/src/Pure/proof_general.ML Tue Aug 16 13:42:23 2005 +0200
+++ b/src/Pure/proof_general.ML Tue Aug 16 13:42:26 2005 +0200
@@ -1369,7 +1369,7 @@
(* additional outer syntax for Isar *)
-local structure P = OuterParse and K = OuterSyntax.Keyword in
+local structure P = OuterParse and K = OuterKeyword in
val undoP = (*undo without output*)
OuterSyntax.improper_command "ProofGeneral.undo" "(internal)" K.control
@@ -1483,7 +1483,7 @@
\;;\n" ^
defconst "major" (map #1 commands) ^
defconst "minor" (List.filter Syntax.is_identifier keywords) ^
- implode (map (make_elisp_commands commands) OuterSyntax.Keyword.kinds) ^
+ implode (map (make_elisp_commands commands) OuterKeyword.kinds) ^
"\n(provide 'isar-keywords)\n";
in