Diffusion Isabelle a1421c88ae0a

provide components for scala3 (still inactive);
a1421c88ae0a
Actions

Tags

None

Subscribers

None

Description

provide components for scala3 (still inactive);

Details

Provenance

Authored on

Parents

rISABELLE6cb76a8adc06: updated download version;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEa1421c88ae0a: provide components for scala3 (still inactive);.Jul 1 2022, 8:47 PM

Changes (1)

Path

Size

Admin/

components/

components.sha1

rISABELLEa1421c88ae0a

Admin/components/components.sha1

Loading...