1.1 --- a/etc/isar-keywords.el Fri Apr 23 23:38:01 2010 +0200
1.2 +++ b/etc/isar-keywords.el Fri Apr 23 23:42:46 2010 +0200
1.3 @@ -220,6 +220,9 @@
1.4 "remove_thy"
1.5 "rep_datatype"
1.6 "repdef"
1.7 + "schematic_corollary"
1.8 + "schematic_lemma"
1.9 + "schematic_theorem"
1.10 "sect"
1.11 "section"
1.12 "setup"
1.13 @@ -570,6 +573,9 @@
1.14 "quotient_type"
1.15 "recdef_tc"
1.16 "rep_datatype"
1.17 + "schematic_corollary"
1.18 + "schematic_lemma"
1.19 + "schematic_theorem"
1.20 "specification"
1.21 "subclass"
1.22 "sublocale"