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 53553 d4191bf88529
parent 53469 3356a148b783
child 53637 f8147d885600 
--- a/etc/isar-keywords.el	Wed Sep 11 23:55:47 2013 +0200
+++ b/etc/isar-keywords.el	Thu Sep 12 00:07:46 2013 +0200
@@ -319,7 +319,6 @@
     "constant"
     "constrains"
     "datatypes"
-    "defaults"
     "defines"
     "file"
     "fixes"
isabelle