[isabelle-dev] NEWS

[Makarius]

* Various optional external tools are referenced more robustly and
uniformly by explicit Isabelle settings as follows:

   ISABELLE_CSDP   (formerly CSDP_EXE)
   ISABELLE_GHC    (formerly EXEC_GHC or GHC_PATH)
   ISABELLE_OCAML  (formerly EXEC_OCAML)
   ISABELLE_SWIPL  (formerly EXEC_SWIPL)
   ISABELLE_YAP    (formerly EXEC_YAP)

Note that automated detection from the file-system or search path has
been discontinued.  INCOMPATIBILITY.

See also http://isabelle.in.tum.de/repos/isabelle/rev/c7297638599b


 	Makarius