summary |
shortlog |
changelog |
graph |
tags |
bookmarks |
branches |
files |
changeset |
file |
latest |
revisions |
annotate |
diff |
comparison |
raw |
help

lib/scripts/keywords

changeset 46969 | 481b7d9ad6fe |

parent 46967 | 499d9bbd8de9 |

child 48864 | 3ee314ae1e0a |

--- 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",