Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
updated keywords;
authorwenzelm
Mon, 20 Sep 2010 19:00:47 +0200
changeset 39571 3a3d9de2ad6e
parent 39570 31858a72a17e
child 39572 bb3469024b6a
child 39594 624d6c0e220d
updated keywords;
etc/isar-keywords.el file | annotate | diff | comparison | revisions 
--- a/etc/isar-keywords.el	Mon Sep 20 18:45:58 2010 +0200
+++ b/etc/isar-keywords.el	Mon Sep 20 19:00:47 2010 +0200
@@ -143,7 +143,6 @@
     "nominal_inductive2"
     "nominal_primrec"
     "nonterminals"
-    "normal_form"
     "notation"
     "note"
     "obtain"
@@ -354,7 +353,6 @@
     "header"
     "help"
     "nitpick"
-    "normal_form"
     "pr"
     "pretty_setmargin"
     "prf"
isabelle