NEWS
changeset 61512 933463440449
parent 61501 42afc789add8
child 61520 8f85bb443d33
     1.1 --- a/NEWS	Fri Oct 23 21:03:16 2015 +0200
     1.2 +++ b/NEWS	Sat Oct 24 13:42:31 2015 +0200
     1.3 @@ -57,6 +57,15 @@
     1.4  * Action "isabelle-reset" now uses keyboard shortcut C+e BACK_SPACE,
     1.5  instead of former C+e LEFT.
     1.6  
     1.7 +* New command-line tool "isabelle jedit_client" allows to connect to
     1.8 +already running Isabelle/jEdit process. This achieves the effect of
     1.9 +single-instance applications seen on common GUI desktops.
    1.10 +
    1.11 +* The command-line tool "isabelle jedit" and the isabelle.Main
    1.12 +application wrapper threat the default $USER_HOME/Scratch.thy more
    1.13 +uniformly, and allow the dummy file argument ":" to open an empty buffer
    1.14 +instead.
    1.15 +
    1.16  
    1.17  *** Document preparation ***
    1.18  
    1.19 @@ -514,10 +523,6 @@
    1.20  
    1.21    \<star>  code: 0x0022c6  group: operator  font: Deja␣Vu␣Sans␣Mono
    1.22  
    1.23 -* Command-line tool "isabelle jedit_client" allows to connect to already
    1.24 -running Isabelle/jEdit process. This achieves the effect of
    1.25 -single-instance applications seen on common GUI desktops.
    1.26 -
    1.27  * Command-line tool "isabelle update_then" expands old Isar command
    1.28  conflations:
    1.29