changeset 61170 | dee0aec271b7 |
parent 61166 | 5976fe402824 |
child 61173 | 5f3f203a38ad |
--- a/NEWS Sun Sep 13 22:56:52 2015 +0200 +++ b/NEWS Mon Sep 14 16:06:32 2015 +0200 @@ -21,6 +21,10 @@ At least one Debugger view needs to be active to have any effect on the running ML program. +* Command-line tool "isabelle jedit_client" allows to connect to already +running Isabelle/jEdit process. This achieves the effect of +single-instance applications seen on common GUI desktops. + *** Isar ***