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
authorblanchet
Tue, 31 Aug 2010 21:00:57 +0200
changeset 38943 aea3d2566374
parent 38942 e10c11971fa7
child 38944 827c98e8ba8b
updated
etc/isar-keywords.el file | annotate | diff | comparison | revisions 
--- 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