equal
deleted
inserted
replaced
252 |
252 |
253 *** System *** |
253 *** System *** |
254 |
254 |
255 * Support for Proof General and Isar TTY loop has been discontinued. |
255 * Support for Proof General and Isar TTY loop has been discontinued. |
256 Minor INCOMPATIBILITY. |
256 Minor INCOMPATIBILITY. |
|
257 |
|
258 * JVM system property "isabelle.threads" determines size of Scala thread |
|
259 pool, like Isabelle system option "threads" for ML. |
|
260 |
|
261 * JVM system property "isabelle.laf" determines the default Swing |
|
262 look-and-feel, via internal class name or symbolic name as in the jEdit |
|
263 menu Global Options / Appearance. |
257 |
264 |
258 * System option "pretty_margin" is superseded by "thy_output_margin", |
265 * System option "pretty_margin" is superseded by "thy_output_margin", |
259 which is also accessible via document antiquotation option "margin". |
266 which is also accessible via document antiquotation option "margin". |
260 Only the margin for document output may be changed, but not the global |
267 Only the margin for document output may be changed, but not the global |
261 pretty printing: that is 76 for plain console output, and adapted |
268 pretty printing: that is 76 for plain console output, and adapted |