Diffusion Isabelle 45d570945fe4

more detailed progress for build_log_database, to see better what happens when;
45d570945fe4
Actions

Tags

None

Subscribers

None

Description

more detailed progress for build_log_database, to see better what happens when;

Details

Provenance

Authored on

Parents

rISABELLE4222955f3b69: clarified signature: explicit Progress date;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE45d570945fe4: more detailed progress for build_log_database, to see better what happens when;.Nov 2 2023, 12:03 PM

makarius mentioned this in rISABELLE9d0faaa77e5d: proper progress (see also 45d570945fe4);.Nov 3 2023, 10:15 AM

Changes (2)

Path

Size

src/

Pure/

Admin/

build_log.scala

isabelle_cronjob.scala

rISABELLE45d570945fe4

src/Pure/Admin/build_log.scala

Loading...

src/Pure/Admin/isabelle_cronjob.scala

Loading...