lib/scripts/keywords
changeset 51274 cfc83ad52571
parent 50714 2af9e4614ba4
equal deleted inserted replaced
51273:d54ee0cad2ab 51274:cfc83ad52571
    39   "thy_heading4" => "theory-heading",
    39   "thy_heading4" => "theory-heading",
    40   "thy_load" => "theory-decl",
    40   "thy_load" => "theory-decl",
    41   "thy_decl" => "theory-decl",
    41   "thy_decl" => "theory-decl",
    42   "thy_script" => "theory-script",
    42   "thy_script" => "theory-script",
    43   "thy_goal" => "theory-goal",
    43   "thy_goal" => "theory-goal",
    44   "thy_schematic_goal" => "theory-goal",
       
    45   "qed_block" => "qed-block",
    44   "qed_block" => "qed-block",
    46   "qed_global" => "qed-global",
    45   "qed_global" => "qed-global",
    47   "prf_heading2" => "proof-heading",
    46   "prf_heading2" => "proof-heading",
    48   "prf_heading3" => "proof-heading",
    47   "prf_heading3" => "proof-heading",
    49   "prf_heading4" => "proof-heading",
    48   "prf_heading4" => "proof-heading",