Diffusion Isabelle 9d0faaa77e5d

proper progress (see also 45d570945fe4);
9d0faaa77e5d
Actions

Tags

None

Subscribers

None

Description

proper progress (see also 45d570945fe4);

Details

Provenance

Authored on

Parents

rISABELLE5de1c19ccd92: clarified;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE9d0faaa77e5d: proper progress (see also 45d570945fe4);.Nov 3 2023, 10:12 AM

Changes (1)

Path

Size

src/

Pure/

Admin/

isabelle_cronjob.scala

rISABELLE9d0faaa77e5d

src/Pure/Admin/isabelle_cronjob.scala

Loading...