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
Wed, 25 Jan 2006 00:21:32 +0100
changeset 18775 becdbf57eeb8
parent 18774 7cf74a743c32
child 18776 fdc5379fd359
updated;
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 24 15:16:06 2006 +0100
+++ b/etc/isar-keywords-ZF.el	Wed Jan 25 00:21:32 2006 +0100
@@ -63,6 +63,7 @@
     "def"
     "defaultsort"
     "defer"
+    "definition"
     "defs"
     "disable_pr"
     "display_drafts"
@@ -357,6 +358,7 @@
     "consts_code"
     "datatype"
     "defaultsort"
+    "definition"
     "defs"
     "extract"
     "extract_type"
--- a/etc/isar-keywords.el	Tue Jan 24 15:16:06 2006 +0100
+++ b/etc/isar-keywords.el	Wed Jan 25 00:21:32 2006 +0100
@@ -67,6 +67,7 @@
     "defaultsort"
     "defer"
     "defer_recdef"
+    "definition"
     "defs"
     "disable_pr"
     "display_drafts"
@@ -389,6 +390,7 @@
     "datatype"
     "defaultsort"
     "defer_recdef"
+    "definition"
     "defs"
     "domain"
     "extract"
isabelle