Diffusion Isabelle e8010cb36820

more robust and uniform Other_Isabelle.scala_build;
e8010cb36820
Actions

Tags

None

Subscribers

None

Description

more robust and uniform Other_Isabelle.scala_build;

Details

Provenance

Authored on

Parents

rISABELLE7a89ef6b0276: tuned;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEe8010cb36820: more robust and uniform Other_Isabelle.scala_build;.Jan 24 2023, 3:16 PM

Changes (3)

Path

Size

src/

Pure/

Admin/

build_history.scala

build_release.scala

other_isabelle.scala

rISABELLEe8010cb36820

src/Pure/Admin/build_history.scala

Loading...

src/Pure/Admin/build_release.scala

Loading...

src/Pure/Admin/other_isabelle.scala

Loading...