--- a/lib/scripts/keywords	Mon Feb 25 12:52:27 2013 +0100
+++ b/lib/scripts/keywords	Mon Feb 25 13:29:19 2013 +0100
@@ -41,7 +41,6 @@
   "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_heading2" => "proof-heading",