| changeset 62415 | 62c03eb38e49 |
| parent 62408 | 86f27b264d3d |
| child 62430 | 9527ff088c15 |
--- a/NEWS Thu Feb 25 18:08:23 2016 +0100 +++ b/NEWS Thu Feb 25 19:08:48 2016 +0100 @@ -156,6 +156,10 @@ *** System *** +* The Isabelle system environment always ensures that the main +executables are found within the PATH: isabelle, isabelle_process, +isabelle_scala_script. + * SML/NJ is no longer supported.