Diffusion Isabelle abaff6fb0ff2

clarified quotes;
abaff6fb0ff2
Actions

Tags

None

Subscribers

None

Description

clarified quotes;

Details

Provenance

Authored on

Parents

rISABELLE4b620e1cb1e9: tuned -- generate script by Isabelle/Scala;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEabaff6fb0ff2: clarified quotes;.Jan 5 2021, 6:21 PM

Changes (1)

Path

Size

src/

Pure/

Admin/

build_release.scala

rISABELLEabaff6fb0ff2

src/Pure/Admin/build_release.scala

Loading...