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 38943 aea3d2566374
parent 38837 b47ee8df7ab4
child 39283 635e09dea465 
--- a/etc/isar-keywords.el	Tue Aug 31 20:24:28 2010 +0200
+++ b/etc/isar-keywords.el	Tue Aug 31 21:00:57 2010 +0200
@@ -245,6 +245,7 @@
     "thus"
     "thy_deps"
     "translations"
+    "try"
     "txt"
     "txt_raw"
     "typ"
@@ -398,6 +399,7 @@
     "thm"
     "thm_deps"
     "thy_deps"
+    "try"
     "typ"
     "unused_thms"
     "value"
isabelle