equal
deleted
inserted
replaced
58 * More efficient painting and improved reactivity when editing large |
58 * More efficient painting and improved reactivity when editing large |
59 files. More scalable management of formal document content. |
59 files. More scalable management of formal document content. |
60 |
60 |
61 * Smarter handling of tracing messages: output window informs about |
61 * Smarter handling of tracing messages: output window informs about |
62 accumulated messages; prover transactions are limited to emit maximum |
62 accumulated messages; prover transactions are limited to emit maximum |
63 amount of output, before being canceled (cf. tracing_limit option). |
63 amount of output, before being canceled (cf. system option |
64 This avoids swamping the front-end with potentially infinite message |
64 "editor_tracing_limit"). This avoids swamping the front-end with |
65 streams. |
65 potentially infinite message streams. |
66 |
66 |
67 * More plugin options and preferences, based on Isabelle/Scala. The |
67 * More plugin options and preferences, based on Isabelle/Scala. The |
68 jEdit plugin option panel provides access to some Isabelle/Scala |
68 jEdit plugin option panel provides access to some Isabelle/Scala |
69 options, including tuning parameters for editor reactivity and color |
69 options, including tuning parameters for editor reactivity and color |
70 schemes. |
70 schemes. |