Diffusion Isabelle 671ca79e2644

proper cleanup;
671ca79e2644
Actions

Tags

None

Subscribers

None

Description

proper cleanup;

Details

Provenance

Authored on

Parents

rISABELLEf51b0b54b20b: avoid odd suffix in published HTML library;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE671ca79e2644: proper cleanup;.Jan 22 2023, 10:48 PM

Changes (1)

Path

Size

src/

Pure/

Admin/

build_release.scala

rISABELLE671ca79e2644

src/Pure/Admin/build_release.scala

Loading...