equal
deleted
inserted
replaced
6 |
6 |
7 *** General *** |
7 *** General *** |
8 |
8 |
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 |
|
12 * Updated and extended "isar-ref" manual, reduced remaining material |
|
13 in old "ref" manual. |
11 |
14 |
12 |
15 |
13 *** System *** |
16 *** System *** |
14 |
17 |
15 * Discontinued support for Poly/ML 5.2.1, which was the last version |
18 * Discontinued support for Poly/ML 5.2.1, which was the last version |
34 Minor INCOMPATIBILITY. |
37 Minor INCOMPATIBILITY. |
35 |
38 |
36 * Sledgehammer: |
39 * Sledgehammer: |
37 |
40 |
38 - Rationalized type encodings ("type_enc" option). |
41 - Rationalized type encodings ("type_enc" option). |
|
42 |
|
43 |
39 |
44 |
40 New in Isabelle2012 (May 2012) |
45 New in Isabelle2012 (May 2012) |
41 ------------------------------ |
46 ------------------------------ |
42 |
47 |
43 *** General *** |
48 *** General *** |