Diffusion Isabelle 541ea5302200

clarified signature;
541ea5302200
Actions

Tags

None

Subscribers

None

Description

clarified signature;

Details

Provenance

Authored on

Parents

rISABELLE3523df57df51: tuned output;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE541ea5302200: clarified signature;.Nov 4 2023, 4:45 PM

Changes (1)

Path

Size

src/

Pure/

Admin/

isabelle_cronjob.scala

rISABELLE541ea5302200

src/Pure/Admin/isabelle_cronjob.scala

Loading...