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
Wed, 19 Oct 2011 14:22:06 +0200
changeset 45193 3181c64be1b4
parent 45192 008710fff1cc
child 45194 d825a8f1d088
updated keywords;
etc/isar-keywords.el file | annotate | diff | comparison | revisions 
--- a/etc/isar-keywords.el	Wed Oct 19 14:21:29 2011 +0200
+++ b/etc/isar-keywords.el	Wed Oct 19 14:22:06 2011 +0200
@@ -51,8 +51,6 @@
     "code_deps"
     "code_include"
     "code_instance"
-    "code_library"
-    "code_module"
     "code_modulename"
     "code_monad"
     "code_pred"
@@ -64,7 +62,6 @@
     "coinductive_set"
     "commit"
     "consts"
-    "consts_code"
     "context"
     "corollary"
     "cpodef"
@@ -264,7 +261,6 @@
     "typed_print_translation"
     "typedecl"
     "typedef"
-    "types_code"
     "ultimately"
     "undo"
     "undos_proof"
@@ -292,7 +288,6 @@
     "checking"
     "congs"
     "constrains"
-    "contains"
     "datatypes"
     "defines"
     "file"
@@ -456,8 +451,6 @@
     "code_datatype"
     "code_include"
     "code_instance"
-    "code_library"
-    "code_module"
     "code_modulename"
     "code_monad"
     "code_reflect"
@@ -466,7 +459,6 @@
     "coinductive"
     "coinductive_set"
     "consts"
-    "consts_code"
     "context"
     "datatype"
     "declaration"
@@ -538,7 +530,6 @@
     "type_synonym"
     "typed_print_translation"
     "typedecl"
-    "types_code"
     "use"))
 
 (defconst isar-keywords-theory-script
isabelle