equal
deleted
inserted
replaced
6 |
6 |
7 New in this Isabelle version |
7 New in this Isabelle version |
8 ---------------------------- |
8 ---------------------------- |
9 |
9 |
10 *** Isabelle/jEdit Prover IDE *** |
10 *** Isabelle/jEdit Prover IDE *** |
|
11 |
|
12 * The jEdit status line includes a widget for Isabelle/ML heap usage, |
|
13 including an indication for ongoing garbage collection (as "ML |
|
14 cleanup"). |
|
15 |
|
16 * The Monitor dockable provides buttons to request a full garbage |
|
17 collection and sharing of live data on the ML heap. It also includes |
|
18 information about the Java Runtime system. |
11 |
19 |
12 * Update to jedit-5.6pre1, the latest pre-release. This version works |
20 * Update to jedit-5.6pre1, the latest pre-release. This version works |
13 properly on macOS by default, without the special MacOSX plugin. |
21 properly on macOS by default, without the special MacOSX plugin. |
14 |
22 |
15 |
23 |