[isabelle-dev] NEWS

Makarius makarius at sketis.net
Sat Oct 4 17:54:26 CEST 2008


* Simplified main Isabelle executables, with less surprises on
case-insensitive file-systems (such as Mac OS).

  - The main Isabelle tool wrapper is now called "isabelle" instead of
    "isatool."

  - The former "isabelle" alias for "isabelle-process" has been
    removed (should rarely occur to regular users).

  - The "Isabelle" alias for "isabelle-interface" has been removed.

Within scripts and make files, the Isabelle environment variables
ISABELLE_TOOL and ISABELLE_PROCESS replace old ISATOOL and ISABELLE,
respectively.  (The latter are still available as legacy feature.)

Also note that user interfaces are now better wrapped as regular
Isabelle tools instead of using the special isabelle-interface wrapper
(which can be confusing if the interface is uninstalled or changed
otherwise).  See "isabelle tty" and "isabelle emacs" for contemporary
examples.

INCOMPATIBILITY, need to adapt derivative scripts.  Users may need to
purge installed copies of Isabelle executables and re-run "isabelle
install -p ...", or use symlinks.



More information about the isabelle-dev mailing list