equal
deleted
inserted
replaced
85 the editor. |
85 the editor. |
86 |
86 |
87 * Action "isabelle-reset" now uses keyboard shortcut C+e BACK_SPACE, |
87 * Action "isabelle-reset" now uses keyboard shortcut C+e BACK_SPACE, |
88 instead of former C+e LEFT. |
88 instead of former C+e LEFT. |
89 |
89 |
90 * New command-line tool "isabelle jedit_client" allows to connect to |
90 * New command-line tool "isabelle jedit_client" allows to connect to an |
91 already running Isabelle/jEdit process. This achieves the effect of |
91 already running Isabelle/jEdit process. This achieves the effect of |
92 single-instance applications seen on common GUI desktops. |
92 single-instance applications seen on common GUI desktops. |
93 |
93 |
94 * The command-line tool "isabelle jedit" and the isabelle.Main |
94 * The command-line tool "isabelle jedit" and the isabelle.Main |
95 application wrapper threat the default $USER_HOME/Scratch.thy more |
95 application wrapper threat the default $USER_HOME/Scratch.thy more |