Diffusion Isabelle 5894859c5c84

more systematic support for special directories;
5894859c5c84
Actions

Tags

None

Subscribers

None

Description

more systematic support for special directories;

Details

Provenance

Authored on

Parents

rISABELLEcf443b24ad90: proper init of cumulative settings;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE5894859c5c84: more systematic support for special directories;.Aug 17 2020, 1:16 PM

makarius mentioned this in Blog Post: More systematic support for special directories.Aug 17 2020, 7:05 PM

makarius mentioned this in rAFP59b5d2617e31: more systematic support for special directories (see Isabelle/5894859c5c84);.Aug 31 2020, 10:24 PM

Changes (7)

Path

Size

etc/

lib/

scripts/

src/

Pure/

General/

PIDE/

Tools/

Code/

rISABELLE5894859c5c84

NEWS

Loading...

etc/settings

Loading...

lib/scripts/getfunctions

Loading...

lib/scripts/getsettings

Loading...

src/Pure/General/path.ML

Loading...

src/Pure/PIDE/resources.ML

Loading...

src/Tools/Code/code_target.ML

Loading...