[isabelle-dev] NEWS: USER_HOME

Makarius makarius at sketis.net
Sun Apr 22 16:55:37 CEST 2012

* USER_HOME settings variable points to cross-platform user home
directory, which coincides with HOME on POSIX systems only.  Likewise,
the Isabelle path specification "~" now expands to $USER_HOME, instead
of former $HOME.  A different default for USER_HOME may be set
explicitly in shell environment, before Isabelle settings are
evaluated.  Minor INCOMPATIBILITY: need to adapt Isabelle path where
the generic user home was intended.

This refers to Isabelle/012a887997f3


More information about the isabelle-dev mailing list