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
Tue, 20 Mar 2007 15:52:43 +0100
changeset 22486 d3b6cb2306b6
parent 22485 3a7d623485fa
child 22487 8cff8a6cb995
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	Tue Mar 20 15:52:42 2007 +0100
+++ b/etc/isar-keywords-HOL-Nominal.el	Tue Mar 20 15:52:43 2007 +0100
@@ -43,6 +43,7 @@
     "code_axioms"
     "code_class"
     "code_const"
+    "code_datatype"
     "code_gen"
     "code_instance"
     "code_library"
@@ -199,6 +200,7 @@
     "thm"
     "thm_deps"
     "thus"
+    "thy_deps"
     "token_translation"
     "touch_all_thys"
     "touch_child_thys"
@@ -344,6 +346,7 @@
     "term"
     "thm"
     "thm_deps"
+    "thy_deps"
     "touch_all_thys"
     "touch_child_thys"
     "touch_thy"
@@ -386,6 +389,7 @@
     "code_axioms"
     "code_class"
     "code_const"
+    "code_datatype"
     "code_instance"
     "code_library"
     "code_module"
--- a/etc/isar-keywords-ZF.el	Tue Mar 20 15:52:42 2007 +0100
+++ b/etc/isar-keywords-ZF.el	Tue Mar 20 15:52:43 2007 +0100
@@ -41,6 +41,7 @@
     "code_axioms"
     "code_class"
     "code_const"
+    "code_datatype"
     "code_gen"
     "code_instance"
     "code_library"
@@ -182,6 +183,7 @@
     "thm"
     "thm_deps"
     "thus"
+    "thy_deps"
     "token_translation"
     "touch_all_thys"
     "touch_child_thys"
@@ -322,6 +324,7 @@
     "term"
     "thm"
     "thm_deps"
+    "thy_deps"
     "touch_all_thys"
     "touch_child_thys"
     "touch_thy"
@@ -364,6 +367,7 @@
     "code_axioms"
     "code_class"
     "code_const"
+    "code_datatype"
     "code_instance"
     "code_library"
     "code_module"
--- a/etc/isar-keywords.el	Tue Mar 20 15:52:42 2007 +0100
+++ b/etc/isar-keywords.el	Tue Mar 20 15:52:43 2007 +0100
@@ -43,6 +43,7 @@
     "code_axioms"
     "code_class"
     "code_const"
+    "code_datatype"
     "code_gen"
     "code_instance"
     "code_library"
@@ -201,6 +202,7 @@
     "thm"
     "thm_deps"
     "thus"
+    "thy_deps"
     "token_translation"
     "touch_all_thys"
     "touch_child_thys"
@@ -361,6 +363,7 @@
     "term"
     "thm"
     "thm_deps"
+    "thy_deps"
     "touch_all_thys"
     "touch_child_thys"
     "touch_thy"
@@ -403,6 +406,7 @@
     "code_axioms"
     "code_class"
     "code_const"
+    "code_datatype"
     "code_instance"
     "code_library"
     "code_module"
isabelle