NEWS
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 ***