Diffusion Isabelle 8cbe519c2085

update to e-2.6, following Martin Desharnais;
8cbe519c2085
Actions

Tags

None

Subscribers

None

Description

update to e-2.6, following Martin Desharnais;

Details

Provenance

Authored on

Parents

rISABELLE6ab3116a251a: updated to Metis 2.4 (release 20200713)

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE8cbe519c2085: update to e-2.6, following Martin Desharnais;.Sep 24 2021, 12:53 PM

Changes (3)

Path

Size

Admin/

components/

components.sha1

src/

Pure/

Admin/

rISABELLE8cbe519c2085

Admin/components/components.sha1

Loading...

Admin/components/main

Loading...

src/Pure/Admin/build_e.scala

Loading...