Diffusion Isabelle 18f4061fd817

tuned index.html;
18f4061fd817
Actions

Tags

None

Subscribers

None

Description

tuned index.html;

Details

Provenance

Authored on

Parents

rISABELLE5212ca49598a: more robust;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE18f4061fd817: tuned index.html;.Dec 11 2019, 11:05 PM

Changes (1)

Path

Size

src/

Pure/

Admin/

build_release.scala

rISABELLE18f4061fd817

src/Pure/Admin/build_release.scala

Loading...