Diffusion Isabelle ca450d902198

updated to scala-2.13: its ArraySeq implementation is not usable here (requires…
ca450d902198
Actions

Tags

None

Subscribers

None

Description

updated to scala-2.13: its ArraySeq implementation is not usable here (requires scala.relection.ClassTag);

Details

Provenance

Authored on

Parents

rISABELLEca17e9ebfdf1: updated to scala-2.13.4;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEca450d902198: updated to scala-2.13: its ArraySeq implementation is not usable here (requires….Jan 17 2021, 12:16 AM

makarius mentioned this in rAFP18281e769389: more robust Array.T for Scala 2.13 and 3.x, following Isabelle/ca450d902198;.Jul 5 2022, 10:15 PM

Changes (2)

Path

Size

src/

HOL/

Imperative_HOL/

rISABELLEca450d902198

src/HOL/Imperative_HOL/Array.thy

Loading...

src/HOL/Imperative_HOL/Heap_Monad.thy

Loading...