changeset 51274 | cfc83ad52571 |
parent 50714 | 2af9e4614ba4 |
--- 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",