clarified signature: avoid ambiguity in scala3;
b13ab7d11b90
Actions

Description

clarified signature: avoid ambiguity in scala3;

Details

Provenance

Authored on

Parents

Branches

Unknown

Tags

Unknown

Changes (7)

Path

Size

src/

Pure/

General/

Isar/

System/

Thy/

Tools/

rISABELLEb13ab7d11b90

src/Pure/General/json.scala

src/Pure/Isar/parse.scala

src/Pure/System/options.scala

src/Pure/Thy/sessions.scala

src/Pure/Thy/thy_element.scala

src/Pure/Thy/thy_header.scala

src/Pure/Tools/check_keywords.scala

clarified signature: avoid ambiguity in scala3;b13ab7d11b90Actions

Description

Details

Changes (7)

rISABELLEb13ab7d11b90

src/Pure/General/json.scala

src/Pure/Isar/parse.scala

src/Pure/System/options.scala

src/Pure/Thy/sessions.scala

src/Pure/Thy/thy_element.scala

src/Pure/Thy/thy_header.scala

src/Pure/Tools/check_keywords.scala

clarified signature: avoid ambiguity in scala3;
b13ab7d11b90
Actions