92 |
92 |
93 * New command-line tool "isabelle jedit_client" allows to connect to an |
93 * New command-line tool "isabelle jedit_client" allows to connect to an |
94 already running Isabelle/jEdit process. This achieves the effect of |
94 already running Isabelle/jEdit process. This achieves the effect of |
95 single-instance applications seen on common GUI desktops. |
95 single-instance applications seen on common GUI desktops. |
96 |
96 |
97 * The main Isabelle executable is managed as single-instance Desktop |
|
98 application uniformly on all platforms: Linux, Windows, Mac OS X. |
|
99 |
|
100 * The default look-and-feel for Linux is the traditional "Metal", which |
97 * The default look-and-feel for Linux is the traditional "Metal", which |
101 works better with GUI scaling for very high-resolution displays (e.g. |
98 works better with GUI scaling for very high-resolution displays (e.g. |
102 4K). Moreover, it is generally more robust than "Nimbus". |
99 4K). Moreover, it is generally more robust than "Nimbus". |
|
100 |
|
101 * The main Isabelle executable is managed as single-instance Desktop |
|
102 application uniformly on all platforms: Linux, Windows, Mac OS X. |
|
103 |
|
104 * Update to jedit-5.3.0, with improved GUI scaling and support of |
|
105 high-resolution displays (e.g. 4K). |
103 |
106 |
104 |
107 |
105 *** Document preparation *** |
108 *** Document preparation *** |
106 |
109 |
107 * Commands 'paragraph' and 'subparagraph' provide additional section |
110 * Commands 'paragraph' and 'subparagraph' provide additional section |