equal
deleted
inserted
replaced
125 |
125 |
126 * Discontinued support for Poly/ML 4.x versions. |
126 * Discontinued support for Poly/ML 4.x versions. |
127 |
127 |
128 * Removed "compress" option from isabelle-process and isabelle usedir; |
128 * Removed "compress" option from isabelle-process and isabelle usedir; |
129 this is always enabled. |
129 this is always enabled. |
|
130 |
|
131 * More fine-grained control of proof parallelism, cf. |
|
132 Goal.parallel_proofs in ML and usedir option -q LEVEL. |
130 |
133 |
131 |
134 |
132 |
135 |
133 New in Isabelle2009 (April 2009) |
136 New in Isabelle2009 (April 2009) |
134 -------------------------------- |
137 -------------------------------- |