Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. non-deprecated char literals for Scala
  2. explicit resolution of ambiguous dictionaries
Changeset 63304:00a135c0a17f by haftmann:
non-deprecated char literals for Scala
The file was modified src/Pure/library.ML (diff)
The file was modified src/Tools/Code/code_scala.ML (diff)
Changeset 63303:7cffe366d333 by haftmann:
explicit resolution of ambiguous dictionaries
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)