Diffusion Isabelle 6c94f749410a

tuned signature;
6c94f749410a
Actions

Tags

None

Subscribers

None

Description

tuned signature;

Details

Provenance

Authored on

Parents

rISABELLE3d81a1a67302: tuned;

Branches

Unknown

Tags

Unknown

Event Timeline

Changes (3)

Path

Size

src/

Pure/

Admin/

build_history.scala

build_release.scala

other_isabelle.scala

rISABELLE6c94f749410a

src/Pure/Admin/build_history.scala

Loading...

src/Pure/Admin/build_release.scala

Loading...

src/Pure/Admin/other_isabelle.scala

Loading...