Diffusion Isabelle 3ace8ac64f20

more thorough cleanup;
3ace8ac64f20
Actions

Tags

None

Subscribers

None

Description

more thorough cleanup;

Details

Provenance

Authored on

Parents

rISABELLE640ab184efb4: tuned;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE3ace8ac64f20: more thorough cleanup;.Oct 22 2022, 9:43 PM

Changes (1)

Path

Size

src/

Pure/

Admin/

build_history.scala

rISABELLE3ace8ac64f20

src/Pure/Admin/build_history.scala

Loading...