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 keywords
authorhaftmann
Sat, 10 Feb 2007 09:26:06 +0100
changeset 22288 c565f33ec70f
parent 22287 9985a79735c7
child 22289 41ce4f5c97c9
updated keywords
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	Thu Feb 08 18:14:13 2007 +0100
+++ b/etc/isar-keywords-HOL-Nominal.el	Sat Feb 10 09:26:06 2007 +0100
@@ -51,6 +51,7 @@
     "code_moduleprolog"
     "code_monad"
     "code_reserved"
+    "code_thms"
     "code_type"
     "coinductive"
     "coinductive2"
@@ -139,7 +140,7 @@
     "print_cases"
     "print_claset"
     "print_classes"
-    "print_codethms"
+    "print_codesetup"
     "print_commands"
     "print_context"
     "print_drafts"
@@ -244,6 +245,7 @@
     "for"
     "freshness_context"
     "hints"
+    "identifier"
     "if"
     "imports"
     "in"
@@ -295,6 +297,7 @@
     "cd"
     "class_deps"
     "code_gen"
+    "code_thms"
     "commit"
     "disable_pr"
     "display_drafts"
@@ -315,7 +318,7 @@
     "print_cases"
     "print_claset"
     "print_classes"
-    "print_codethms"
+    "print_codesetup"
     "print_commands"
     "print_context"
     "print_drafts"
--- a/etc/isar-keywords-ZF.el	Thu Feb 08 18:14:13 2007 +0100
+++ b/etc/isar-keywords-ZF.el	Sat Feb 10 09:26:06 2007 +0100
@@ -49,6 +49,7 @@
     "code_moduleprolog"
     "code_monad"
     "code_reserved"
+    "code_thms"
     "code_type"
     "coinductive"
     "commit"
@@ -129,7 +130,7 @@
     "print_cases"
     "print_claset"
     "print_classes"
-    "print_codethms"
+    "print_codesetup"
     "print_commands"
     "print_context"
     "print_drafts"
@@ -227,6 +228,7 @@
     "file"
     "fixes"
     "for"
+    "identifier"
     "if"
     "imports"
     "in"
@@ -274,6 +276,7 @@
     "cd"
     "class_deps"
     "code_gen"
+    "code_thms"
     "commit"
     "disable_pr"
     "display_drafts"
@@ -294,7 +297,7 @@
     "print_cases"
     "print_claset"
     "print_classes"
-    "print_codethms"
+    "print_codesetup"
     "print_commands"
     "print_context"
     "print_drafts"
--- a/etc/isar-keywords.el	Thu Feb 08 18:14:13 2007 +0100
+++ b/etc/isar-keywords.el	Sat Feb 10 09:26:06 2007 +0100
@@ -51,6 +51,7 @@
     "code_moduleprolog"
     "code_monad"
     "code_reserved"
+    "code_thms"
     "code_type"
     "coinductive"
     "coinductive2"
@@ -142,7 +143,7 @@
     "print_cases"
     "print_claset"
     "print_classes"
-    "print_codethms"
+    "print_codesetup"
     "print_commands"
     "print_context"
     "print_drafts"
@@ -249,6 +250,7 @@
     "for"
     "hide_action"
     "hints"
+    "identifier"
     "if"
     "imports"
     "in"
@@ -313,6 +315,7 @@
     "cd"
     "class_deps"
     "code_gen"
+    "code_thms"
     "commit"
     "disable_pr"
     "display_drafts"
@@ -333,7 +336,7 @@
     "print_cases"
     "print_claset"
     "print_classes"
-    "print_codethms"
+    "print_codesetup"
     "print_commands"
     "print_context"
     "print_drafts"
isabelle