NEWS
changeset 62014 446fcbadc6bf
parent 61982 3af5a06577c7
child 62016 740c70a21523
     1.1 --- a/NEWS	Thu Dec 31 19:53:19 2015 +0100
     1.2 +++ b/NEWS	Thu Dec 31 20:40:28 2015 +0100
     1.3 @@ -87,7 +87,7 @@
     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 +* New command-line tool "isabelle jedit_client" allows to connect to an
     1.9  already running Isabelle/jEdit process. This achieves the effect of
    1.10  single-instance applications seen on common GUI desktops.
    1.11