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
Sat, 09 Dec 2006 18:06:17 +0100
changeset 21732 4d4cde714500
parent 21731 360fa2caaf2f
child 21733 131dd2a27137
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	Sat Dec 09 18:05:52 2006 +0100
+++ b/etc/isar-keywords-HOL-Nominal.el	Sat Dec 09 18:06:17 2006 +0100
@@ -91,6 +91,7 @@
     "guess"
     "have"
     "header"
+    "help"
     "hence"
     "hide"
     "inductive"
@@ -305,6 +306,7 @@
     "find_theorems"
     "full_prf"
     "header"
+    "help"
     "kill_thy"
     "normal_form"
     "pr"
--- a/etc/isar-keywords-ZF.el	Sat Dec 09 18:05:52 2006 +0100
+++ b/etc/isar-keywords-ZF.el	Sat Dec 09 18:06:17 2006 +0100
@@ -85,6 +85,7 @@
     "guess"
     "have"
     "header"
+    "help"
     "hence"
     "hide"
     "inductive"
@@ -122,6 +123,7 @@
     "pretty_setmargin"
     "prf"
     "primrec"
+    "print_abbrevs"
     "print_antiquotations"
     "print_ast_translation"
     "print_attributes"
@@ -284,11 +286,13 @@
     "find_theorems"
     "full_prf"
     "header"
+    "help"
     "kill_thy"
     "normal_form"
     "pr"
     "pretty_setmargin"
     "prf"
+    "print_abbrevs"
     "print_antiquotations"
     "print_attributes"
     "print_binds"
--- a/etc/isar-keywords.el	Sat Dec 09 18:05:52 2006 +0100
+++ b/etc/isar-keywords.el	Sat Dec 09 18:06:17 2006 +0100
@@ -95,6 +95,7 @@
     "guess"
     "have"
     "header"
+    "help"
     "hence"
     "hide"
     "inductive"
@@ -135,6 +136,7 @@
     "pretty_setmargin"
     "prf"
     "primrec"
+    "print_abbrevs"
     "print_antiquotations"
     "print_ast_translation"
     "print_attributes"
@@ -323,11 +325,13 @@
     "find_theorems"
     "full_prf"
     "header"
+    "help"
     "kill_thy"
     "normal_form"
     "pr"
     "pretty_setmargin"
     "prf"
+    "print_abbrevs"
     "print_antiquotations"
     "print_attributes"
     "print_binds"
isabelle