changeset 34255 | 2dd2547acb41 |
parent 34238 | b28be884edda |
child 34259 | 2ba492b8b6e8 |
--- a/NEWS Mon Jan 04 21:49:47 2010 +0100 +++ b/NEWS Mon Jan 04 22:16:48 2010 +0100 @@ -54,6 +54,10 @@ ISABELLE_USEDIR_OPTIONS applies uniformly to all sessions. Note that proof terms are enabled unconditionally in the new HOL-Proofs image. +* Discontinued old ISABELLE and ISATOOL environment settings (legacy +feature since Isabelle2009). Use ISABELLE_PROCESS and ISABELLE_TOOL, +respectively. + New in Isabelle2009-1 (December 2009)