equal
deleted
inserted
replaced
117 |
117 |
118 * Discontinued support for Poly/ML 4.x versions. |
118 * Discontinued support for Poly/ML 4.x versions. |
119 |
119 |
120 * Removed "compress" option from isabelle-process and isabelle usedir; |
120 * Removed "compress" option from isabelle-process and isabelle usedir; |
121 this is always enabled. |
121 this is always enabled. |
|
122 |
|
123 * More fine-grained control of proof parallelism, cf. |
|
124 Goal.parallel_proofs in ML and usedir option -q LEVEL. |
122 |
125 |
123 |
126 |
124 |
127 |
125 New in Isabelle2009 (April 2009) |
128 New in Isabelle2009 (April 2009) |
126 -------------------------------- |
129 -------------------------------- |