Diffusion Isabelle 4b620e1cb1e9

tuned -- generate script by Isabelle/Scala;
4b620e1cb1e9
Actions

Tags

None

Subscribers

None

Description

tuned -- generate script by Isabelle/Scala;

Details

Provenance

Authored on

Parents

rISABELLE523806d71dea: proper treatment of XML.Wrapped_Elem, e.g. Markup.class_parameter;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE4b620e1cb1e9: tuned -- generate script by Isabelle/Scala;.Jan 5 2021, 5:40 PM

Changes (4)

Path

Size

src/

Pure/

Admin/

build_release.scala

rISABELLE4b620e1cb1e9

Admin/Linux/Isabelle_app

Loading...

src/Pure/Admin/build_release.scala

Loading...