Diffusion Isabelle 19b6091c2137

support alternative USER_HOME directory;
19b6091c2137
Actions

Tags

None

Subscribers

None

Description

support alternative USER_HOME directory;

Details

Provenance

Authored on

Parents

rISABELLE897f1ac84aab: clarified settings environment;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius mentioned this in rISABELLE973de7855948: removed unused user_home argument (see also 897f1ac84aab and 19b6091c2137);.Jan 24 2023, 10:41 PM

Changes (1)

Path

Size

src/

Pure/

Admin/

build_history.scala

rISABELLE19b6091c2137

src/Pure/Admin/build_history.scala

Loading...