NEWS
changeset 72996 cdcd2785db94
parent 72987 b1be35908165
child 73007 11140980a6b5
equal deleted inserted replaced
72995:eac16c76273e 72996:cdcd2785db94
    10 *** General ***
    10 *** General ***
    11 
    11 
    12 * Proof method "subst" is confined to the original subgoal range: its
    12 * Proof method "subst" is confined to the original subgoal range: its
    13 included distinct_subgoals_tac no longer affects unrelated subgoals.
    13 included distinct_subgoals_tac no longer affects unrelated subgoals.
    14 Rare INCOMPATIBILITY.
    14 Rare INCOMPATIBILITY.
       
    15 
       
    16 * HTML presentation includes auxiliary files (e.g. ML) for each theory,
       
    17 with rich markup.
    15 
    18 
    16 
    19 
    17 *** Isabelle/jEdit Prover IDE ***
    20 *** Isabelle/jEdit Prover IDE ***
    18 
    21 
    19 * Improved markup for theory header imports: hyperlinks for theory files
    22 * Improved markup for theory header imports: hyperlinks for theory files