Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. adjusted printing of type annotations to accomodate Scala 3
  2. two new examples
  3. pass constructor arity as part of case certficiate
  4. tuned whitespace in generated code
Changeset 75401:010a77180dff by haftmann:
adjusted printing of type annotations to accomodate Scala 3
The file was modified CONTRIBUTORS (diff)
The file was modified NEWS (diff)
The file was modified src/Tools/Code/code_scala.ML (diff)
Changeset 75400:970b9ab6c439 by paulson _lp15@cam.ac.uk_:
two new examples
The file was modified src/FOL/ex/Intuitionistic.thy (diff)
Changeset 75399:cdf84288d93c by haftmann:
pass constructor arity as part of case certficiate
The file was modified src/Pure/Isar/code.ML (diff)
The file was modified src/Tools/Code/code_thingol.ML (diff)
Changeset 75398:a58718427bff by haftmann:
tuned whitespace in generated code
The file was modified src/HOL/String.thy (diff)