28 examples. |
28 examples. |
29 |
29 |
30 INCOMPATIBILITY, need to adapt derivative scripts. Users may need to |
30 INCOMPATIBILITY, need to adapt derivative scripts. Users may need to |
31 purge installed copies of Isabelle executables and re-run "isabelle |
31 purge installed copies of Isabelle executables and re-run "isabelle |
32 install -p ...", or use symlinks. |
32 install -p ...", or use symlinks. |
|
33 |
|
34 * The default for ISABELLE_HOME_USER is now ~/.isabelle instead of the |
|
35 old ~/isabelle, which was slightly non-standard and apt cause |
|
36 surprises on case-insensitive file-systems. |
|
37 |
|
38 INCOMPATIBILITY, need to move existing ~/isabelle/etc, |
|
39 ~/isabelle/heaps, ~/isabelle/browser_info to the new place. Special |
|
40 care is required when using older releases of Isabelle. Note that |
|
41 ISABELLE_HOME_USER can be changed in Isabelle/etc/settings of any |
|
42 Isabelle distribution. |
33 |
43 |
34 * The Isabelle System Manual (system) has been updated, with formally |
44 * The Isabelle System Manual (system) has been updated, with formally |
35 checked references as hyperlinks. |
45 checked references as hyperlinks. |
36 |
46 |
37 * Generalized Isar history, with support for linear undo, direct state |
47 * Generalized Isar history, with support for linear undo, direct state |