Diffusion Isabelle 6dc989ae4327

explore history more thoroughly;
6dc989ae4327
Actions

Tags

None

Subscribers

None

Description

explore history more thoroughly;

Details

Provenance

Authored on

Parents

rISABELLE6874791b24d9: tuned signature;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE6dc989ae4327: explore history more thoroughly;.Nov 4 2023, 8:10 PM

Changes (1)

Path

Size

src/

Pure/

Admin/

isabelle_cronjob.scala

rISABELLE6dc989ae4327

src/Pure/Admin/isabelle_cronjob.scala

Loading...