changeset 51275 | 3928173409e4 |
parent 51270 | 17d30843fc3b |
child 51293 | 05b1bbae748d |
--- a/etc/isar-keywords.el Mon Feb 25 13:29:19 2013 +0100 +++ b/etc/isar-keywords.el Mon Feb 25 13:31:02 2013 +0100 @@ -383,7 +383,6 @@ "code_deps" "code_thms" "display_drafts" - "export_code" "find_consts" "find_theorems" "find_unused_assms" @@ -510,6 +509,7 @@ "domain_isomorphism" "domaindef" "equivariance" + "export_code" "extract" "extract_type" "fixrec"