--- a/lib/scripts/keywords Fri Mar 16 20:45:47 2012 +0100
+++ b/lib/scripts/keywords Fri Mar 16 21:20:23 2012 +0100
@@ -33,14 +33,19 @@
my %convert_kinds = (
"thy_begin" => "theory-begin",
"thy_end" => "theory-end",
- "thy_heading" => "theory-heading",
+ "thy_heading1" => "theory-heading",
+ "thy_heading2" => "theory-heading",
+ "thy_heading3" => "theory-heading",
+ "thy_heading4" => "theory-heading",
"thy_decl" => "theory-decl",
"thy_script" => "theory-script",
"thy_goal" => "theory-goal",
"thy_schematic_goal" => "theory-goal",
"qed_block" => "qed-block",
"qed_global" => "qed-global",
- "prf_heading" => "proof-heading",
+ "prf_heading2" => "proof-heading",
+ "prf_heading3" => "proof-heading",
+ "prf_heading4" => "proof-heading",
"prf_goal" => "proof-goal",
"prf_block" => "proof-block",
"prf_open" => "proof-open",