Diffusion Isabelle f926602640fe

more portable: it really is the Cygwin $HOME not the Windows $USER_HOME;
f926602640fe
Actions

Tags

None

Subscribers

None

Description

more portable: it really is the Cygwin $HOME not the Windows $USER_HOME;

Details

Provenance

Authored on

Parents

rISABELLE6aa964f52395: more accurate documentation of record field update, following changes in…

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEf926602640fe: more portable: it really is the Cygwin $HOME not the Windows $USER_HOME;.Thu, Aug 31, 2:59 PM

Changes (1)

Path

Size

src/

Doc/

System/

rISABELLEf926602640fe

src/Doc/System/Sessions.thy

Loading...