equal
deleted
inserted
replaced
7 New in Isabelle2021 (February 2021) |
7 New in Isabelle2021 (February 2021) |
8 ----------------------------------- |
8 ----------------------------------- |
9 |
9 |
10 *** General *** |
10 *** General *** |
11 |
11 |
12 * HTML presentation includes auxiliary files (e.g. ML) for each theory, |
12 * HTML presentation uses rich markup produced by Isabelle/PIDE, |
13 with rich markup. |
13 resulting in more colors and links. |
|
14 |
|
15 * HTML presentation includes auxiliary files (e.g. ML) for each theory. |
14 |
16 |
15 * Proof method "subst" is confined to the original subgoal range: its |
17 * Proof method "subst" is confined to the original subgoal range: its |
16 included distinct_subgoals_tac no longer affects unrelated subgoals. |
18 included distinct_subgoals_tac no longer affects unrelated subgoals. |
17 Rare INCOMPATIBILITY. |
19 Rare INCOMPATIBILITY. |
18 |
20 |