Diffusion Isabelle 20093a63d03b

updated to scala-parser-combinators 2.1.0, which also fits to scala-3.0.2;
20093a63d03b
Actions

Tags

None

Subscribers

None

Description

updated to scala-parser-combinators 2.1.0, which also fits to scala-3.0.2;

Details

Provenance

Authored on

Parents

rISABELLE54a7ce8a1a56: clarified invocation of isabelle.setup.Setup: -classpath allows multiple jars…

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE20093a63d03b: updated to scala-parser-combinators 2.1.0, which also fits to scala-3.0.2;.Apr 1 2022, 11:18 AM

Changes (4)

Path

Size

Admin/

components/

components.sha1

src/

Pure/

Isar/

ML/

rISABELLE20093a63d03b

Admin/components/components.sha1

Loading...

Admin/components/main

Loading...

src/Pure/Isar/token.scala

Loading...

src/Pure/ML/ml_lex.scala

Loading...