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 46641 8801a24f9e9a
parent 46589 689311986778
child 46938 cda018294515 
--- a/etc/isar-keywords.el	Fri Feb 24 11:23:33 2012 +0100
+++ b/etc/isar-keywords.el	Fri Feb 24 11:23:34 2012 +0100
@@ -254,7 +254,7 @@
     "thy_deps"
     "translations"
     "try"
-    "try_methods"
+    "try0"
     "txt"
     "txt_raw"
     "typ"
@@ -413,7 +413,7 @@
     "thm_deps"
     "thy_deps"
     "try"
-    "try_methods"
+    "try0"
     "typ"
     "unused_thms"
     "value"
isabelle