Diffusion Isabelle 6874791b24d9

tuned signature;
6874791b24d9
Actions

Tags

None

Subscribers

None

Description

tuned signature;

Details

Provenance

Authored on

Parents

rISABELLE9f7a94117666: clarified "recent" time: days <= 0 means infinity (no constraint);

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE6874791b24d9: tuned signature;.Nov 4 2023, 5:19 PM

Changes (1)

Path

Size

src/

Pure/

Admin/

isabelle_cronjob.scala

rISABELLE6874791b24d9

src/Pure/Admin/isabelle_cronjob.scala

Loading...