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.
code_gen now peek keyword
authorhaftmann
Tue, 19 Sep 2006 15:21:39 +0200
changeset 20586 548fd4cd2eb3
parent 20585 3fe913d70177
child 20587 f43a46316fa5
code_gen now peek keyword
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	Tue Sep 19 15:19:38 2006 +0200
+++ b/etc/isar-keywords-HOL-Nominal.el	Tue Sep 19 15:21:39 2006 +0200
@@ -50,7 +50,6 @@
     "code_instance"
     "code_library"
     "code_module"
-    "code_purge"
     "code_simtype"
     "code_type"
     "code_typename"
@@ -134,6 +133,7 @@
     "print_cases"
     "print_claset"
     "print_classes"
+    "print_codethms"
     "print_commands"
     "print_context"
     "print_drafts"
@@ -290,6 +290,7 @@
     "ProofGeneral\\.call_atp"
     "cd"
     "class_deps"
+    "code_gen"
     "commit"
     "disable_pr"
     "display_drafts"
@@ -307,6 +308,7 @@
     "print_cases"
     "print_claset"
     "print_classes"
+    "print_codethms"
     "print_commands"
     "print_context"
     "print_drafts"
@@ -372,11 +374,9 @@
     "code_class"
     "code_const"
     "code_constname"
-    "code_gen"
     "code_instance"
     "code_library"
     "code_module"
-    "code_purge"
     "code_type"
     "code_typename"
     "coinductive"
--- a/etc/isar-keywords-ZF.el	Tue Sep 19 15:19:38 2006 +0200
+++ b/etc/isar-keywords-ZF.el	Tue Sep 19 15:21:39 2006 +0200
@@ -48,7 +48,6 @@
     "code_instance"
     "code_library"
     "code_module"
-    "code_purge"
     "code_simtype"
     "code_type"
     "code_typename"
@@ -128,6 +127,7 @@
     "print_cases"
     "print_claset"
     "print_classes"
+    "print_codethms"
     "print_commands"
     "print_context"
     "print_drafts"
@@ -275,6 +275,7 @@
     "ML_command"
     "cd"
     "class_deps"
+    "code_gen"
     "commit"
     "disable_pr"
     "display_drafts"
@@ -292,6 +293,7 @@
     "print_cases"
     "print_claset"
     "print_classes"
+    "print_codethms"
     "print_commands"
     "print_context"
     "print_drafts"
@@ -357,11 +359,9 @@
     "code_class"
     "code_const"
     "code_constname"
-    "code_gen"
     "code_instance"
     "code_library"
     "code_module"
-    "code_purge"
     "code_type"
     "code_typename"
     "coinductive"
--- a/etc/isar-keywords.el	Tue Sep 19 15:19:38 2006 +0200
+++ b/etc/isar-keywords.el	Tue Sep 19 15:21:39 2006 +0200
@@ -50,7 +50,6 @@
     "code_instance"
     "code_library"
     "code_module"
-    "code_purge"
     "code_simtype"
     "code_type"
     "code_typename"
@@ -138,6 +137,7 @@
     "print_cases"
     "print_claset"
     "print_classes"
+    "print_codethms"
     "print_commands"
     "print_context"
     "print_drafts"
@@ -311,6 +311,7 @@
     "ProofGeneral\\.call_atp"
     "cd"
     "class_deps"
+    "code_gen"
     "commit"
     "disable_pr"
     "display_drafts"
@@ -328,6 +329,7 @@
     "print_cases"
     "print_claset"
     "print_classes"
+    "print_codethms"
     "print_commands"
     "print_context"
     "print_drafts"
@@ -393,11 +395,9 @@
     "code_class"
     "code_const"
     "code_constname"
-    "code_gen"
     "code_instance"
     "code_library"
     "code_module"
-    "code_purge"
     "code_type"
     "code_typename"
     "coinductive"
isabelle