Diffusion Isabelle 1cce41dc0c41

clarified generated Scala, for the sake of "scalac -source 3.3";
1cce41dc0c41
Actions

Tags

None

Subscribers

None

Description

clarified generated Scala, for the sake of "scalac -source 3.3";

Details

Provenance

Authored on

Parents

rISABELLE55ca7578d3e9: discontinue old Java 11 LTS;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE1cce41dc0c41: clarified generated Scala, for the sake of "scalac -source 3.3";.Tue, Aug 29, 3:23 PM

Changes (1)

Path

Size

src/

Tools/

Code/

rISABELLE1cce41dc0c41

src/Tools/Code/code_scala.ML

Loading...