[isabelle-dev] NEWS: ISABELLE_HOME_USER includes ISABELLE_IDENTIFIER
makarius at sketis.net
Fri Nov 5 23:33:56 CET 2010
* System settings: ISABELLE_HOME_USER now includes ISABELLE_IDENTIFIER
(and thus refers to something like $HOME/.isabelle/IsabelleXXXX),
while the default heap location within that directory lacks that extra
suffix. This isolates multiple Isabelle installations from each
other, avoiding problems with old settings in new versions.
INCOMPATIBILITY, need to copy/upgrade old user settings manually.
Note that ISABELLE_IDENTIFIER is empty for "unidentified repository
versions" as before.
More information about the isabelle-dev