equal
deleted
inserted
replaced
14 Rare INCOMPATIBILITY. |
14 Rare INCOMPATIBILITY. |
15 |
15 |
16 |
16 |
17 *** Isabelle/jEdit Prover IDE *** |
17 *** Isabelle/jEdit Prover IDE *** |
18 |
18 |
19 * The jEdit status line includes a widget for Isabelle/ML heap usage, |
19 * The jEdit status line includes widgets both for JVM and ML heap usage. |
20 including an indication for ongoing garbage collection (as "ML |
20 Ongoing ML ongoing garbage collection is shown as "ML cleanup". |
21 cleanup"). |
|
22 |
21 |
23 * The Monitor dockable provides buttons to request a full garbage |
22 * The Monitor dockable provides buttons to request a full garbage |
24 collection and sharing of live data on the ML heap. It also includes |
23 collection and sharing of live data on the ML heap. It also includes |
25 information about the Java Runtime system. |
24 information about the Java Runtime system. |
26 |
25 |