Diffusion Isabelle 092449efcb0e

clarified defaults (see also b310b93563f6);
092449efcb0e
Actions

Tags

None

Subscribers

None

Description

clarified defaults (see also b310b93563f6);

Details

Provenance

Authored on

Parents

rISABELLE4e724a439035: tuned comments;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE092449efcb0e: clarified defaults (see also b310b93563f6);.Jan 24 2023, 8:43 PM

makarius mentioned this in rISABELLE15e710116a16: recovered option -C from 092449efcb0e (still required for isabelle_cronjob..Jan 25 2023, 10:29 PM

Changes (3)

Path

Size

src/

Pure/

Admin/

build_history.scala

isabelle_cronjob.scala

System/

components.scala

rISABELLE092449efcb0e

src/Pure/Admin/build_history.scala

Loading...

src/Pure/Admin/isabelle_cronjob.scala

Loading...

src/Pure/System/components.scala

Loading...