equal
deleted
inserted
replaced
248 |
248 |
249 *** System *** |
249 *** System *** |
250 |
250 |
251 * Support for Proof General and Isar TTY loop has been discontinued. |
251 * Support for Proof General and Isar TTY loop has been discontinued. |
252 Minor INCOMPATIBILITY. |
252 Minor INCOMPATIBILITY. |
|
253 |
|
254 * JVM system property "isabelle.threads" determines size of Scala thread |
|
255 pool, like Isabelle system option "threads" for ML. |
253 |
256 |
254 * System option "pretty_margin" is superseded by "thy_output_margin", |
257 * System option "pretty_margin" is superseded by "thy_output_margin", |
255 which is also accessible via document antiquotation option "margin". |
258 which is also accessible via document antiquotation option "margin". |
256 Only the margin for document output may be changed, but not the global |
259 Only the margin for document output may be changed, but not the global |
257 pretty printing: that is 76 for plain console output, and adapted |
260 pretty printing: that is 76 for plain console output, and adapted |