# 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.