Diffusion Isabelle 2336356d4180

updated to polyml-5.9;
2336356d4180
Actions

Tags

None

Subscribers

None

Description

updated to polyml-5.9;

Details

Provenance

Authored on

Parents

rISABELLE743b114bdb41: NEWS on "isabelle mirabelle";

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE2336356d4180: updated to polyml-5.9;.Nov 26 2021, 1:36 PM

makarius mentioned this in rISABELLEa763f94c2c32: Added tag Isabelle2021-1-RC4 for changeset 2336356d4180.Nov 26 2021, 9:08 PM

Changes (3)

Path

Size

Admin/

components/

components.sha1

polyml/

rISABELLE2336356d4180

Admin/components/components.sha1

Loading...

Admin/components/main

Loading...

Admin/polyml/README

Loading...