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 |
|
13 *** System *** |
|
14 |
|
15 * Discontinued support for Poly/ML 5.2.1, which was the last version |
|
16 without exception positions and advanced ML compiler/toplevel |
|
17 configuration. |
11 |
18 |
12 |
19 |
13 |
20 |
14 New in Isabelle2012 (May 2012) |
21 New in Isabelle2012 (May 2012) |
15 ------------------------------ |
22 ------------------------------ |