Diffusion Isabelle c500f6c86e86

updated to polyml-test-f54aa41240d0;
c500f6c86e86
Actions

Tags

None

Subscribers

None

Description

updated to polyml-test-f54aa41240d0;

Details

Provenance

Authored on

Parents

rISABELLEd756ff4bb3a3: back to polyml-5.8.1 due to ML compiler crash in HOL-Codegenerator_Test;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEc500f6c86e86: updated to polyml-test-f54aa41240d0;.Aug 11 2020, 7:01 PM

Changes (3)

Path

Size

Admin/

components/

components.sha1

polyml/

rISABELLEc500f6c86e86

Admin/components/components.sha1

Loading...

Admin/components/main

Loading...

Admin/polyml/README

Loading...