Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
etc/isar-keywords.el
changeset 49635 fc0777f04205
parent 49633 5b5450bc544c
child 49640 47431a27fefe 
--- a/etc/isar-keywords.el	Fri Sep 28 09:12:50 2012 +0200
+++ b/etc/isar-keywords.el	Fri Sep 28 09:12:50 2012 +0200
@@ -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"
@@ -483,7 +481,6 @@
     "classes"
     "classrel"
     "codata"
-    "codata_raw"
     "code_abort"
     "code_class"
     "code_const"
@@ -500,7 +497,6 @@
     "consts"
     "context"
     "data"
-    "data_raw"
     "datatype"
     "declaration"
     "declare"
isabelle