equal
deleted
inserted
replaced
11 executable Isabelle tool. |
11 executable Isabelle tool. |
12 |
12 |
13 * Significantly improved Isabelle/Isar implementation manual. |
13 * Significantly improved Isabelle/Isar implementation manual. |
14 |
14 |
15 * System settings: ISABELLE_HOME_USER now includes ISABELLE_IDENTIFIER |
15 * System settings: ISABELLE_HOME_USER now includes ISABELLE_IDENTIFIER |
16 (and thus refers to something like $HOME/.isabelle/IsabelleXXXX), |
16 (and thus refers to something like $HOME/.isabelle/Isabelle2011), |
17 while the default heap location within that directory lacks that extra |
17 while the default heap location within that directory lacks that extra |
18 suffix. This isolates multiple Isabelle installations from each |
18 suffix. This isolates multiple Isabelle installations from each |
19 other, avoiding problems with old settings in new versions. |
19 other, avoiding problems with old settings in new versions. |
20 INCOMPATIBILITY, need to copy/upgrade old user settings manually. |
20 INCOMPATIBILITY, need to copy/upgrade old user settings manually. |
21 |
21 |