# HG changeset patch
# User wenzelm
# Date 959358495 -7200
# Node ID 19956dd3809ea7545576ce82d4699d755c7c7e22
# Parent  8791e3304748c19679d34f1111eecfc660ded794
write major keywords;

diff -r 8791e3304748 -r 19956dd3809e src/Pure/Interface/proof_general.ML
--- a/src/Pure/Interface/proof_general.ML	Fri May 26 18:08:46 2000 +0200
+++ b/src/Pure/Interface/proof_general.ML	Fri May 26 18:28:15 2000 +0200
@@ -281,6 +281,7 @@
   \;;\n\
   \;; $" ^ "Id$\n\
   \;;\n" ^
+  defconst "major" (map #1 commands) ^
   defconst "minor" (filter Syntax.is_identifier keywords) ^
   implode (map (make_elisp_commands commands) OuterSyntax.Keyword.kinds) ^
   "\n(provide 'isar-keywords)\n";