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
Mon, 18 Sep 2006 19:12:40 +0200
changeset 20568 9b7f59c1bdfc
parent 20567 93ae490fe02c
child 20569 c315ba088073
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	Mon Sep 18 16:21:24 2006 +0200
+++ b/etc/isar-keywords-HOL-Nominal.el	Mon Sep 18 19:12:40 2006 +0200
@@ -39,6 +39,7 @@
     "cd"
     "chapter"
     "class"
+    "class_deps"
     "classes"
     "classrel"
     "clear_undos"
@@ -288,6 +289,7 @@
     "ML_command"
     "ProofGeneral\\.call_atp"
     "cd"
+    "class_deps"
     "commit"
     "disable_pr"
     "display_drafts"
--- a/etc/isar-keywords-ZF.el	Mon Sep 18 16:21:24 2006 +0200
+++ b/etc/isar-keywords-ZF.el	Mon Sep 18 19:12:40 2006 +0200
@@ -36,6 +36,7 @@
     "cd"
     "chapter"
     "class"
+    "class_deps"
     "classes"
     "classrel"
     "clear_undos"
@@ -44,12 +45,10 @@
     "code_const"
     "code_constname"
     "code_gen"
-    "code_generate"
     "code_instance"
     "code_library"
     "code_module"
     "code_purge"
-    "code_serialize"
     "code_simtype"
     "code_type"
     "code_typename"
@@ -275,6 +274,7 @@
   '("ML"
     "ML_command"
     "cd"
+    "class_deps"
     "commit"
     "disable_pr"
     "display_drafts"
@@ -358,12 +358,10 @@
     "code_const"
     "code_constname"
     "code_gen"
-    "code_generate"
     "code_instance"
     "code_library"
     "code_module"
     "code_purge"
-    "code_serialize"
     "code_type"
     "code_typename"
     "coinductive"
--- a/etc/isar-keywords.el	Mon Sep 18 16:21:24 2006 +0200
+++ b/etc/isar-keywords.el	Mon Sep 18 19:12:40 2006 +0200
@@ -39,6 +39,7 @@
     "cd"
     "chapter"
     "class"
+    "class_deps"
     "classes"
     "classrel"
     "clear_undos"
@@ -309,6 +310,7 @@
     "ML_command"
     "ProofGeneral\\.call_atp"
     "cd"
+    "class_deps"
     "commit"
     "disable_pr"
     "display_drafts"
isabelle