1.1 --- a/NEWS	Sun Nov 30 12:58:20 2008 +0100
     1.2 +++ b/NEWS	Sun Nov 30 14:03:45 2008 +0100
     1.3 @@ -15,17 +15,18 @@
     1.4    - The former "isabelle" alias for "isabelle-process" has been
     1.5      removed (should rarely occur to regular users).
     1.6  
     1.7 -  - The "Isabelle" alias for "isabelle-interface" has been removed.
     1.8 +  - The former "isabelle-interface" and its alias "Isabelle" have been
     1.9 +    removed (interfaces are now regular Isabelle tools).
    1.10  
    1.11  Within scripts and make files, the Isabelle environment variables
    1.12  ISABELLE_TOOL and ISABELLE_PROCESS replace old ISATOOL and ISABELLE,
    1.13  respectively.  (The latter are still available as legacy feature.)
    1.14  
    1.15 -Also note that user interfaces are now better wrapped as regular
    1.16 -Isabelle tools instead of using the special isabelle-interface wrapper
    1.17 -(which can be confusing if the interface is uninstalled or changed
    1.18 -otherwise).  See "isabelle tty" and "isabelle emacs" for contemporary
    1.19 -examples.
    1.20 +The old isabelle-interface wrapper could react in confusing ways if
    1.21 +the interface was uninstalled or changed otherwise.  Individual
    1.22 +interface tool configuration is now more explicit, see also the
    1.23 +Isabelle system manual.  In particular, Proof General is now available
    1.24 +via "isabelle emacs".
    1.25  
    1.26  INCOMPATIBILITY, need to adapt derivative scripts.  Users may need to
    1.27  purge installed copies of Isabelle executables and re-run "isabelle