Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
etc/isar-keywords.el
changeset 19854 9c1732a66b0b
parent 19797 a527b3e1076a
child 19891 2857fac35e6d 
--- a/etc/isar-keywords.el	Mon Jun 12 11:59:25 2006 +0200
+++ b/etc/isar-keywords.el	Mon Jun 12 15:58:12 2006 +0200
@@ -46,9 +46,6 @@
     "code_generate"
     "code_library"
     "code_module"
-    "code_primclass"
-    "code_primconst"
-    "code_primtyco"
     "code_purge"
     "code_serialize"
     "code_syntax_const"
@@ -115,7 +112,7 @@
     "no_syntax"
     "no_translations"
     "nonterminals"
-    "norm_by_eval"
+    "normal_form"
     "note"
     "obtain"
     "oops"
@@ -387,9 +384,6 @@
     "code_generate"
     "code_library"
     "code_module"
-    "code_primclass"
-    "code_primconst"
-    "code_primtyco"
     "code_purge"
     "code_serialize"
     "code_syntax_const"
@@ -421,7 +415,7 @@
     "no_syntax"
     "no_translations"
     "nonterminals"
-    "norm_by_eval"
+    "normal_form"
     "oracle"
     "parse_ast_translation"
     "parse_translation"
isabelle