diff -r 38aaa08fb37f -r 481b7d9ad6fe lib/scripts/keywords
--- 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",