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 using proper "isabelle update_keywords";
authorwenzelm
Fri, 28 Sep 2012 11:46:57 +0200
changeset 49640 47431a27fefe
parent 49639 204bd497aa4c
child 49641 9b831f93d4e8
updated keywords using proper "isabelle update_keywords";
etc/isar-keywords.el file | annotate | diff | comparison | revisions 
--- a/etc/isar-keywords.el	Fri Sep 28 11:31:51 2012 +0200
+++ b/etc/isar-keywords.el	Fri Sep 28 11:46:57 2012 +0200
@@ -48,6 +48,7 @@
     "classes"
     "classrel"
     "codata"
+    "codata_raw"
     "code_abort"
     "code_class"
     "code_const"
@@ -70,6 +71,7 @@
     "corollary"
     "cpodef"
     "data"
+    "data_raw"
     "datatype"
     "declaration"
     "declare"
@@ -340,7 +342,6 @@
     "overloaded"
     "permissive"
     "pervasive"
-    "rep_compat"
     "shows"
     "structure"
     "unchecked"
@@ -481,6 +482,7 @@
     "classes"
     "classrel"
     "codata"
+    "codata_raw"
     "code_abort"
     "code_class"
     "code_const"
@@ -497,6 +499,7 @@
     "consts"
     "context"
     "data"
+    "data_raw"
     "datatype"
     "declaration"
     "declare"
isabelle