Diffusion Isabelle 417b490c9b89

proper ml_statistics (amending aeb511a520f4);
417b490c9b89
Actions

Tags

None

Subscribers

None

Description

proper ml_statistics (amending aeb511a520f4);

Details

Provenance

Authored on

Parents

rISABELLE295aa95cbff9: unify error messages;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE417b490c9b89: proper ml_statistics (amending aeb511a520f4);.Sat, Nov 18, 3:44 PM

Changes (1)

Path

Size

src/

Pure/

Admin/

build_log.scala

rISABELLE417b490c9b89

src/Pure/Admin/build_log.scala

Loading...