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;
authorwenzelm
Sun, 28 Jan 2007 23:29:14 +0100
changeset 22200 d4797b506752
parent 22199 b617ddd200eb
child 22201 6fe46a7259ec
updated;
etc/isar-keywords-HOL-Nominal.el file | annotate | diff | comparison | revisions
etc/isar-keywords-ZF.el file | annotate | diff | comparison | revisions
etc/isar-keywords.el file | annotate | diff | comparison | revisions 
--- a/etc/isar-keywords-HOL-Nominal.el	Sun Jan 28 11:52:52 2007 +0100
+++ b/etc/isar-keywords-HOL-Nominal.el	Sun Jan 28 23:29:14 2007 +0100
@@ -178,6 +178,7 @@
     "section"
     "setup"
     "show"
+    "simproc_setup"
     "sorry"
     "specification"
     "subsect"
@@ -433,6 +434,7 @@
     "refute_params"
     "rep_datatype"
     "setup"
+    "simproc_setup"
     "syntax"
     "text"
     "text_raw"
--- 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"
--- a/etc/isar-keywords.el	Sun Jan 28 11:52:52 2007 +0100
+++ b/etc/isar-keywords.el	Sun Jan 28 23:29:14 2007 +0100
@@ -181,6 +181,7 @@
     "section"
     "setup"
     "show"
+    "simproc_setup"
     "sorry"
     "specification"
     "subsect"
@@ -453,6 +454,7 @@
     "refute_params"
     "rep_datatype"
     "setup"
+    "simproc_setup"
     "syntax"
     "text"
     "text_raw"
isabelle