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;
authorwenzelm
Sat, 14 Nov 2009 18:16:13 +0100
changeset 33685 29106208ccf7
parent 33684 29d8aaeb56e5
child 33686 8e33ca8832b1
updated keywords;
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	Sat Nov 14 18:15:21 2009 +0100
+++ b/etc/isar-keywords-ZF.el	Sat Nov 14 18:16:13 2009 +0100
@@ -237,6 +237,7 @@
     "open"
     "output"
     "overloaded"
+    "pervasive"
     "recursor_eqns"
     "shows"
     "structure"
--- a/etc/isar-keywords.el	Sat Nov 14 18:15:21 2009 +0100
+++ b/etc/isar-keywords.el	Sat Nov 14 18:16:13 2009 +0100
@@ -204,6 +204,7 @@
     "refute_params"
     "remove_thy"
     "rep_datatype"
+    "repdef"
     "sect"
     "section"
     "setup"
@@ -298,6 +299,7 @@
     "outputs"
     "overloaded"
     "permissive"
+    "pervasive"
     "post"
     "pre"
     "rename"
@@ -531,6 +533,7 @@
     "pcpodef"
     "recdef_tc"
     "rep_datatype"
+    "repdef"
     "specification"
     "subclass"
     "sublocale"
isabelle