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 22200 d4797b506752
parent 22084 2fef69700f50
child 22288 c565f33ec70f 
--- a/etc/isar-keywords-ZF.el	Sun Jan 28 11:52:52 2007 +0100
+++ b/etc/isar-keywords-ZF.el	Sun Jan 28 23:29:14 2007 +0100
@@ -164,6 +164,7 @@
     "section"
     "setup"
     "show"
+    "simproc_setup"
     "sorry"
     "subsect"
     "subsection"
@@ -404,6 +405,7 @@
     "realizers"
     "rep_datatype"
     "setup"
+    "simproc_setup"
     "syntax"
     "text"
     "text_raw"
isabelle