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, 17 Nov 2012 17:42:19 +0100
changeset 50106 e12e4ad93183
parent 50105 65d5b18e1626
child 50107 289181e3e524
updated keywords;
etc/isar-keywords.el file | annotate | diff | comparison | revisions 
--- a/etc/isar-keywords.el	Fri Nov 16 19:14:23 2012 +0100
+++ b/etc/isar-keywords.el	Sat Nov 17 17:42:19 2012 +0100
@@ -48,7 +48,6 @@
     "classes"
     "classrel"
     "codata"
-    "codata_raw"
     "code_abort"
     "code_class"
     "code_const"
@@ -71,7 +70,6 @@
     "corollary"
     "cpodef"
     "data"
-    "data_raw"
     "datatype"
     "declaration"
     "declare"
@@ -342,6 +340,7 @@
     "overloaded"
     "permissive"
     "pervasive"
+    "rep_compat"
     "shows"
     "structure"
     "unchecked"
@@ -482,7 +481,6 @@
     "classes"
     "classrel"
     "codata"
-    "codata_raw"
     "code_abort"
     "code_class"
     "code_const"
@@ -499,7 +497,6 @@
     "consts"
     "context"
     "data"
-    "data_raw"
     "datatype"
     "declaration"
     "declare"
isabelle