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 36505 79c1d2bbe5a9
parent 36455 30f96b4b108b
child 37983 d104dedacd9e 
--- a/etc/isar-keywords-ZF.el	Thu Apr 29 16:53:08 2010 +0200
+++ b/etc/isar-keywords-ZF.el	Thu Apr 29 16:55:22 2010 +0200
@@ -210,6 +210,7 @@
     "using"
     "welcome"
     "with"
+    "write"
     "{"
     "}"))
 
@@ -486,7 +487,8 @@
     "txt"
     "txt_raw"
     "unfolding"
-    "using"))
+    "using"
+    "write"))
 
 (defconst isar-keywords-proof-asm
   '("assume"
isabelle