Diffusion Isabelle ca17e9ebfdf1

updated to scala-2.13.4;
ca17e9ebfdf1
Actions

Tags

None

Subscribers

None

Description

updated to scala-2.13.4;

Details

Provenance

Authored on

Parents

rISABELLE76bdfde8a579: clarified;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEca17e9ebfdf1: updated to scala-2.13.4;.Jan 16 2021, 10:52 PM

makarius mentioned this in rISABELLE6c3190da9701: proper type conversion for scala-2.13: problem was unnoticed since ca17e9ebfdf1;.Apr 9 2022, 12:20 PM

makarius mentioned this in rISABELLE5f8f0bf8c72c: proper type conversion for scala-2.13: problem was unnoticed since ca17e9ebfdf1;.

Changes (9)

Path

Size

Admin/

components/

components.sha1

etc/

src/

Pure/

General/

linear_set.scala

multi_map.scala

System/

rISABELLEca17e9ebfdf1

Admin/components/components.sha1

Loading...

Admin/components/main

Loading...

etc/settings

Loading...

src/Pure/General/linear_set.scala

Loading...

src/Pure/General/multi_map.scala

Loading...

src/Pure/General/scan.scala

Loading...

src/Pure/ROOT.ML

Loading...

src/Pure/ROOT.scala

Loading...

src/Pure/System/scala.scala

Loading...