Diffusion Isabelle f728be354ffb

tuned: avoid recursion;
f728be354ffb
Actions

Tags

None

Subscribers

None

Description

tuned: avoid recursion;

Details

Provenance

Authored on

Parents

rISABELLEd8352eb7aa7b: tuned;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEf728be354ffb: tuned: avoid recursion;.Sat, Nov 18, 9:14 PM

Changes (1)

Path

Size

src/

Pure/

Admin/

isabelle_cronjob.scala

rISABELLEf728be354ffb

src/Pure/Admin/isabelle_cronjob.scala

Loading...