1.1 --- a/NEWS	Sat Oct 04 16:19:49 2008 +0200
     1.2 +++ b/NEWS	Sat Oct 04 17:40:56 2008 +0200
     1.3 @@ -6,6 +6,31 @@
     1.4  
     1.5  *** General ***
     1.6  
     1.7 +* Simplified main Isabelle executables, with less surprises on
     1.8 +case-insensitive file-systems (such as Mac OS).
     1.9 +
    1.10 +  - The main Isabelle tool wrapper is now called "isabelle" instead of
    1.11 +    "isatool."
    1.12 +
    1.13 +  - The former "isabelle" alias for "isabelle-process" has been
    1.14 +    removed (should rarely occur to regular users).
    1.15 +
    1.16 +  - The "Isabelle" alias for "isabelle-interface" has been removed.
    1.17 +
    1.18 +Within scripts and make files, the Isabelle environment variables
    1.19 +ISABELLE_TOOL and ISABELLE_PROCESS replace old ISATOOL and ISABELLE,
    1.20 +respectively.  (The latter are still available as legacy feature.)
    1.21 +
    1.22 +Also note that user interfaces are now better wrapped as regular
    1.23 +Isabelle tools instead of using the special isabelle-interface wrapper
    1.24 +(which can be confusing if the interface is uninstalled or changed
    1.25 +otherwise).  See "isabelle tty" and "isabelle emacs" for contemporary
    1.26 +examples.
    1.27 +
    1.28 +INCOMPATIBILITY, need to adapt derivative scripts.  Users may need to
    1.29 +purge installed copies of Isabelle executables and re-run "isabelle
    1.30 +install -p ...", or use symlinks.
    1.31 +
    1.32  * The Isabelle System Manual (system) has been updated, with formally
    1.33  checked references as hyperlinks.
    1.34