equal
deleted
inserted
replaced
15 * Discontinued support for Poly/ML 5.2.1, which was the last version |
15 * Discontinued support for Poly/ML 5.2.1, which was the last version |
16 without exception positions and advanced ML compiler/toplevel |
16 without exception positions and advanced ML compiler/toplevel |
17 configuration. |
17 configuration. |
18 |
18 |
19 |
19 |
|
20 *** HOL *** |
|
21 |
|
22 * Quickcheck: |
|
23 |
|
24 - added an optimisation for equality premises. |
|
25 It is switched on by default, and can be switched off by setting |
|
26 the configuration quickcheck_optimise_equality to false. |
20 |
27 |
21 New in Isabelle2012 (May 2012) |
28 New in Isabelle2012 (May 2012) |
22 ------------------------------ |
29 ------------------------------ |
23 |
30 |
24 *** General *** |
31 *** General *** |