equal
deleted
inserted
replaced
22 |
22 |
23 * The Monitor dockable provides buttons to request a full garbage |
23 * The Monitor dockable provides buttons to request a full garbage |
24 collection and sharing of live data on the ML heap. It also includes |
24 collection and sharing of live data on the ML heap. It also includes |
25 information about the Java Runtime system. |
25 information about the Java Runtime system. |
26 |
26 |
27 * Update to jedit-5.6pre1, the latest pre-release. This version works |
27 * Update to jedit-5.6.0, the latest release. This version works properly |
28 properly on macOS by default, without the special MacOSX plugin. |
28 on macOS by default, without the special MacOSX plugin. |
29 |
29 |
30 |
30 |
31 *** Document preparation *** |
31 *** Document preparation *** |
32 |
32 |
33 * Antiquotation @{bash_function} refers to GNU bash functions that are |
33 * Antiquotation @{bash_function} refers to GNU bash functions that are |