tuned --- fewer warnings in scala3;
73a2f3fe0e8c
Actions

Description

tuned --- fewer warnings in scala3;

Details

Provenance

Authored on

Parents

Branches

Unknown

Tags

Unknown

Changes (5)

Path

Size

src/

Pure/

General/

Isar/

ML/

Thy/

rISABELLE73a2f3fe0e8c

src/Pure/General/antiquote.scala

src/Pure/General/json.scala

src/Pure/Isar/token.scala

src/Pure/ML/ml_lex.scala

tuned --- fewer warnings in scala3;73a2f3fe0e8cActions

Description

Details

Changes (5)

rISABELLE73a2f3fe0e8c

src/Pure/General/antiquote.scala

src/Pure/General/json.scala

src/Pure/Isar/token.scala

src/Pure/ML/ml_lex.scala

src/Pure/Thy/bibtex.scala

tuned --- fewer warnings in scala3;
73a2f3fe0e8c
Actions