equal
deleted
inserted
replaced
51 *** System *** |
51 *** System *** |
52 |
52 |
53 * Discontinued special HOL_USEDIR_OPTIONS for the main HOL image; |
53 * Discontinued special HOL_USEDIR_OPTIONS for the main HOL image; |
54 ISABELLE_USEDIR_OPTIONS applies uniformly to all sessions. Note that |
54 ISABELLE_USEDIR_OPTIONS applies uniformly to all sessions. Note that |
55 proof terms are enabled unconditionally in the new HOL-Proofs image. |
55 proof terms are enabled unconditionally in the new HOL-Proofs image. |
|
56 |
|
57 * Discontinued old ISABELLE and ISATOOL environment settings (legacy |
|
58 feature since Isabelle2009). Use ISABELLE_PROCESS and ISABELLE_TOOL, |
|
59 respectively. |
56 |
60 |
57 |
61 |
58 |
62 |
59 New in Isabelle2009-1 (December 2009) |
63 New in Isabelle2009-1 (December 2009) |
60 ------------------------------------- |
64 ------------------------------------- |