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
Fri, 05 Nov 2010 22:03:57 +0100
changeset 40386 bdce9a9ec0cd
parent 40385 b70ef70733e8
child 40387 e4c9e0dad473
updated keywords;
etc/isar-keywords.el file | annotate | diff | comparison | revisions 
--- a/etc/isar-keywords.el	Fri Nov 05 22:01:01 2010 +0100
+++ b/etc/isar-keywords.el	Fri Nov 05 22:03:57 2010 +0100
@@ -129,7 +129,6 @@
     "locale"
     "method_setup"
     "moreover"
-    "new_domain"
     "next"
     "nitpick"
     "nitpick_params"
@@ -311,6 +310,7 @@
     "shows"
     "structure"
     "unchecked"
+    "unsafe"
     "uses"
     "where"))
 
@@ -478,7 +478,6 @@
     "local_setup"
     "locale"
     "method_setup"
-    "new_domain"
     "nitpick_params"
     "no_notation"
     "no_syntax"
isabelle