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 code generator keywords
authorhaftmann
Mon, 14 Aug 2006 13:46:03 +0200
changeset 20378 63a0aafc89ba
parent 20377 3baf326b2b5f
child 20379 154d8c155a65
updated code generator 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	Mon Aug 14 11:26:10 2006 +0200
+++ b/etc/isar-keywords-HOL-Nominal.el	Mon Aug 14 13:46:03 2006 +0200
@@ -42,7 +42,6 @@
     "classes"
     "classrel"
     "clear_undos"
-    "code_alias"
     "code_classapp"
     "code_constapp"
     "code_constname"
@@ -53,6 +52,7 @@
     "code_serialize"
     "code_simtype"
     "code_typapp"
+    "code_typename"
     "coinductive"
     "commit"
     "const_syntax"
@@ -131,6 +131,7 @@
     "print_binds"
     "print_cases"
     "print_claset"
+    "print_classes"
     "print_commands"
     "print_context"
     "print_drafts"
@@ -302,6 +303,7 @@
     "print_binds"
     "print_cases"
     "print_claset"
+    "print_classes"
     "print_commands"
     "print_context"
     "print_drafts"
@@ -364,7 +366,6 @@
     "class"
     "classes"
     "classrel"
-    "code_alias"
     "code_classapp"
     "code_constapp"
     "code_constname"
@@ -374,6 +375,7 @@
     "code_purge"
     "code_serialize"
     "code_typapp"
+    "code_typename"
     "coinductive"
     "const_syntax"
     "constdefs"
--- a/etc/isar-keywords-ZF.el	Mon Aug 14 11:26:10 2006 +0200
+++ b/etc/isar-keywords-ZF.el	Mon Aug 14 13:46:03 2006 +0200
@@ -40,7 +40,6 @@
     "classrel"
     "clear_undos"
     "codatatype"
-    "code_alias"
     "code_classapp"
     "code_constapp"
     "code_constname"
@@ -51,6 +50,7 @@
     "code_serialize"
     "code_simtype"
     "code_typapp"
+    "code_typename"
     "coinductive"
     "commit"
     "const_syntax"
@@ -126,6 +126,7 @@
     "print_binds"
     "print_cases"
     "print_claset"
+    "print_classes"
     "print_commands"
     "print_context"
     "print_drafts"
@@ -288,6 +289,7 @@
     "print_binds"
     "print_cases"
     "print_claset"
+    "print_classes"
     "print_commands"
     "print_context"
     "print_drafts"
@@ -350,7 +352,6 @@
     "classes"
     "classrel"
     "codatatype"
-    "code_alias"
     "code_classapp"
     "code_constapp"
     "code_constname"
@@ -360,6 +361,7 @@
     "code_purge"
     "code_serialize"
     "code_typapp"
+    "code_typename"
     "coinductive"
     "const_syntax"
     "constdefs"
--- a/etc/isar-keywords.el	Mon Aug 14 11:26:10 2006 +0200
+++ b/etc/isar-keywords.el	Mon Aug 14 13:46:03 2006 +0200
@@ -42,7 +42,6 @@
     "classes"
     "classrel"
     "clear_undos"
-    "code_alias"
     "code_classapp"
     "code_constapp"
     "code_constname"
@@ -53,6 +52,7 @@
     "code_serialize"
     "code_simtype"
     "code_typapp"
+    "code_typename"
     "coinductive"
     "commit"
     "const_syntax"
@@ -135,6 +135,7 @@
     "print_binds"
     "print_cases"
     "print_claset"
+    "print_classes"
     "print_commands"
     "print_context"
     "print_drafts"
@@ -323,6 +324,7 @@
     "print_binds"
     "print_cases"
     "print_claset"
+    "print_classes"
     "print_commands"
     "print_context"
     "print_drafts"
@@ -385,7 +387,6 @@
     "class"
     "classes"
     "classrel"
-    "code_alias"
     "code_classapp"
     "code_constapp"
     "code_constname"
@@ -395,6 +396,7 @@
     "code_purge"
     "code_serialize"
     "code_typapp"
+    "code_typename"
     "coinductive"
     "const_syntax"
     "constdefs"
isabelle