Summary
- non-deprecated char literals for Scala
- explicit resolution of ambiguous dictionaries
The file was modified | src/Pure/library.ML (diff) |
The file was modified | src/Tools/Code/code_scala.ML (diff) |
The file was modified | NEWS (diff) |
The file was modified | src/Doc/Codegen/Further.thy (diff) |
The file was modified | src/Tools/Code/code_ml.ML (diff) |
The file was modified | src/Tools/Code/code_scala.ML (diff) |
The file was modified | src/Tools/Code/code_thingol.ML (diff) |