clarified settings and defaults;
b93404a4c3dd
Actions

Description

clarified settings and defaults;

Details

Provenance

Authored on

Parents

Branches

Unknown

Tags

Unknown

Changes (6)

Path

Size

etc/

lib/

Tools/

src/

Pure/

Admin/

rISABELLEb93404a4c3dd

etc/settings

lib/Tools/components

src/Pure/Admin/build_history.scala

src/Pure/Admin/build_release.scala

src/Pure/Admin/components.scala

src/Pure/Admin/other_isabelle.scala

clarified settings and defaults;b93404a4c3ddActions

Description

Details

Changes (6)

rISABELLEb93404a4c3dd

etc/settings

lib/Tools/components

src/Pure/Admin/build_history.scala

src/Pure/Admin/build_release.scala

src/Pure/Admin/components.scala

src/Pure/Admin/other_isabelle.scala

clarified settings and defaults;
b93404a4c3dd
Actions