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.
add keywords fixrec and fixpat for HOLCF fixrec package
authorhuffman
Sat, 04 Jun 2005 02:13:31 +0200
changeset 16231 91c0a3e253b1
parent 16230 9c9d9ba41bac
child 16232 8a12e11d222b
add keywords fixrec and fixpat for HOLCF fixrec package
etc/isar-keywords.el file | annotate | diff | comparison | revisions 
--- a/etc/isar-keywords.el	Sat Jun 04 02:12:10 2005 +0200
+++ b/etc/isar-keywords.el	Sat Jun 04 02:13:31 2005 +0200
@@ -64,6 +64,8 @@
     "finalconsts"
     "finally"
     "fix"
+    "fixrec"
+    "fixpat"
     "from"
     "full_prf"
     "generate_code"
@@ -352,6 +354,8 @@
     "extract"
     "extract_type"
     "finalconsts"
+    "fixrec"
+    "fixpat"
     "generate_code"
     "global"
     "hide"
isabelle