Diffusion Isabelle 54b43bcf1df3

updated to scala-2.13.5 (with scala-swing_2.13-3.0.0);
54b43bcf1df3
Actions

Tags

None

Subscribers

None

Description

updated to scala-2.13.5 (with scala-swing_2.13-3.0.0);

Details

Provenance

Authored on

Parents

rISABELLE88dd8a6a42ba: slightly more efficient Term.fastype_of (only little impact in regular…

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE54b43bcf1df3: updated to scala-2.13.5 (with scala-swing_2.13-3.0.0);.Mar 3 2021, 8:56 PM

Changes (3)

Path

Size

Admin/

components/

components.sha1

src/

Pure/

rISABELLE54b43bcf1df3

Admin/components/components.sha1

Loading...

Admin/components/main

Loading...

src/Pure/ROOT.scala

Loading...