equal
deleted
inserted
replaced
9 * Discontinued obsolete method fastsimp / tactic fast_simp_tac, which |
9 * Discontinued obsolete method fastsimp / tactic fast_simp_tac, which |
10 is called fastforce / fast_force_tac already since Isabelle2011-1. |
10 is called fastforce / fast_force_tac already since Isabelle2011-1. |
11 |
11 |
12 * Updated and extended "isar-ref" manual, reduced remaining material |
12 * Updated and extended "isar-ref" manual, reduced remaining material |
13 in old "ref" manual. |
13 in old "ref" manual. |
|
14 |
|
15 |
|
16 *** Document preparation *** |
|
17 |
|
18 * Default for \<euro> is now based on eurosym package, instead of |
|
19 slightly exotic babel/greek. |
14 |
20 |
15 |
21 |
16 *** System *** |
22 *** System *** |
17 |
23 |
18 * Discontinued support for Poly/ML 5.2.1, which was the last version |
24 * Discontinued support for Poly/ML 5.2.1, which was the last version |