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-ZF.el
changeset 36455 30f96b4b108b
parent 36356 5ab0f8859f9f
child 36505 79c1d2bbe5a9 
--- a/etc/isar-keywords-ZF.el	Wed Apr 28 12:21:55 2010 +0200
+++ b/etc/isar-keywords-ZF.el	Wed Apr 28 12:23:14 2010 +0200
@@ -57,7 +57,7 @@
     "declaration"
     "declare"
     "def"
-    "defaultsort"
+    "default_sort"
     "defer"
     "definition"
     "defs"
@@ -372,7 +372,7 @@
     "datatype"
     "declaration"
     "declare"
-    "defaultsort"
+    "default_sort"
     "definition"
     "defs"
     "extract"
isabelle