lib/scripts/keywords
changeset 46969 481b7d9ad6fe
parent 46967 499d9bbd8de9
child 48864 3ee314ae1e0a
equal deleted inserted replaced
46968:38aaa08fb37f 46969:481b7d9ad6fe
    31 }
    31 }
    32 
    32 
    33 my %convert_kinds = (
    33 my %convert_kinds = (
    34   "thy_begin" => "theory-begin",
    34   "thy_begin" => "theory-begin",
    35   "thy_end" => "theory-end",
    35   "thy_end" => "theory-end",
    36   "thy_heading" => "theory-heading",
    36   "thy_heading1" => "theory-heading",
       
    37   "thy_heading2" => "theory-heading",
       
    38   "thy_heading3" => "theory-heading",
       
    39   "thy_heading4" => "theory-heading",
    37   "thy_decl" => "theory-decl",
    40   "thy_decl" => "theory-decl",
    38   "thy_script" => "theory-script",
    41   "thy_script" => "theory-script",
    39   "thy_goal" => "theory-goal",
    42   "thy_goal" => "theory-goal",
    40   "thy_schematic_goal" => "theory-goal",
    43   "thy_schematic_goal" => "theory-goal",
    41   "qed_block" => "qed-block",
    44   "qed_block" => "qed-block",
    42   "qed_global" => "qed-global",
    45   "qed_global" => "qed-global",
    43   "prf_heading" => "proof-heading",
    46   "prf_heading2" => "proof-heading",
       
    47   "prf_heading3" => "proof-heading",
       
    48   "prf_heading4" => "proof-heading",
    44   "prf_goal" => "proof-goal",
    49   "prf_goal" => "proof-goal",
    45   "prf_block" => "proof-block",
    50   "prf_block" => "proof-block",
    46   "prf_open" => "proof-open",
    51   "prf_open" => "proof-open",
    47   "prf_close" => "proof-close",
    52   "prf_close" => "proof-close",
    48   "prf_chain" => "proof-chain",
    53   "prf_chain" => "proof-chain",