# HG changeset patch
# User wenzelm
# Date 1442241849 -7200
# Node ID 5f3f203a38ad901bcfdb3ce1b7113d8aa97adb76
# Parent  0a1b62bbbdf9cf8559aaa2638ac954ffb4ca7f23
single-instance application, even on Linux;

diff -r 0a1b62bbbdf9 -r 5f3f203a38ad NEWS
--- a/NEWS	Mon Sep 14 16:08:27 2015 +0200
+++ b/NEWS	Mon Sep 14 16:44:09 2015 +0200
@@ -21,9 +21,8 @@
 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.
+* The main Isabelle executable is managed as single-instance Desktop
+application uniformly on all platforms: Linux, Windows, Mac OS X.
 
 
 *** Isar ***
@@ -348,6 +347,10 @@
 
 *** System ***
 
+* 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.
+
 * Poly/ML default platform architecture may be changed from 32bit to
 64bit via system option ML_system_64. A system restart (and rebuild)
 is required after change.