| changeset 41950 | 134131d519c0 |
| parent 41944 | b97091ae583a |
| child 41952 | c7297638599b |
--- a/NEWS Sun Mar 13 16:52:59 2011 +0100 +++ b/NEWS Sun Mar 13 17:28:14 2011 +0100 @@ -21,6 +21,13 @@ The global load path (such as src/HOL/Library) is has been discontinued. INCOMPATIBILITY. +* Various optional external tools are referenced more robustly and +uniformly by explicit Isabelle settings as follows, without automated +detection from the shell environment or path (potential +INCOMPATIBILITY): + + ISABELLE_CSDP (formerly CSDP_EXE) + *** HOL ***