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
Sat, 21 Nov 2009 20:41:29 +0100
changeset 33840 f00a8956d6d0
parent 33839 beae0c7a748d
child 33841 6508d0e8bb19
updated keywords;
etc/isar-keywords.el file | annotate | diff | comparison | revisions 
--- a/etc/isar-keywords.el	Sat Nov 21 18:33:55 2009 +0100
+++ b/etc/isar-keywords.el	Sat Nov 21 20:41:29 2009 +0100
@@ -89,6 +89,7 @@
     "disable_pr"
     "display_drafts"
     "domain"
+    "domain_isomorphism"
     "done"
     "enable_pr"
     "end"
@@ -135,6 +136,7 @@
     "locale"
     "method_setup"
     "moreover"
+    "new_domain"
     "next"
     "nitpick"
     "nitpick_params"
@@ -470,6 +472,7 @@
     "definition"
     "defs"
     "domain"
+    "domain_isomorphism"
     "equivariance"
     "extract"
     "extract_type"
@@ -488,6 +491,7 @@
     "local_setup"
     "locale"
     "method_setup"
+    "new_domain"
     "nitpick_params"
     "no_notation"
     "no_syntax"
@@ -508,6 +512,7 @@
     "recdef"
     "record"
     "refute_params"
+    "repdef"
     "setup"
     "simproc_setup"
     "statespace"
@@ -541,7 +546,6 @@
     "pcpodef"
     "recdef_tc"
     "rep_datatype"
-    "repdef"
     "specification"
     "subclass"
     "sublocale"
isabelle