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 -- lost update!?
authorwenzelm
Tue, 03 Jan 2006 00:06:20 +0100
changeset 18541 00890455e95f
parent 18540 7b6f57406b1b
child 18542 f42e544805f5
updated -- lost update!?
etc/isar-keywords-ZF.el file | annotate | diff | comparison | revisions
etc/isar-keywords.el file | annotate | diff | comparison | revisions 
--- a/etc/isar-keywords-ZF.el	Tue Jan 03 00:06:18 2006 +0100
+++ b/etc/isar-keywords-ZF.el	Tue Jan 03 00:06:20 2006 +0100
@@ -183,6 +183,7 @@
     "ultimately"
     "undo"
     "undos_proof"
+    "unfolding"
     "update_thy"
     "update_thy_only"
     "use"
@@ -199,7 +200,6 @@
   '("advanced"
     "and"
     "assumes"
-    "atom"
     "attach"
     "begin"
     "binder"
@@ -450,6 +450,7 @@
     "note"
     "txt"
     "txt_raw"
+    "unfolding"
     "using"))
 
 (defconst isar-keywords-proof-asm
--- a/etc/isar-keywords.el	Tue Jan 03 00:06:18 2006 +0100
+++ b/etc/isar-keywords.el	Tue Jan 03 00:06:20 2006 +0100
@@ -197,6 +197,7 @@
     "ultimately"
     "undo"
     "undos_proof"
+    "unfolding"
     "update_thy"
     "update_thy_only"
     "use"
@@ -214,7 +215,6 @@
     "advanced"
     "and"
     "assumes"
-    "atom"
     "attach"
     "begin"
     "binder"
@@ -494,6 +494,7 @@
     "note"
     "txt"
     "txt_raw"
+    "unfolding"
     "using"))
 
 (defconst isar-keywords-proof-asm
isabelle