Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. corrections and adjustions for Scala 3
  2. more complete set of code equations
  3. officical abstract characters for code generation
Changeset 75649:7afb6628ab86 by haftmann:
corrections and adjustions for Scala 3
The file was modified src/Tools/Code/code_scala.ML (diff)
Changeset 75648:aa0403e5535f by haftmann:
more complete set of code equations
The file was modified src/HOL/Library/Subseq_Order.thy (diff)
Changeset 75647:34cd1d210b92 by haftmann:
officical abstract characters for code generation
The file was addedsrc/HOL/Codegenerator_Test/Generate_Abstract_Char.thy
The file was addedsrc/HOL/Library/Code_Abstract_Char.thy
The file was modified CONTRIBUTORS (diff)
The file was modified NEWS (diff)
The file was modified src/Doc/Codegen/Adaptation.thy (diff)
The file was modified src/HOL/Codegenerator_Test/Candidates.thy (diff)
The file was modified src/HOL/Library/Char_ord.thy (diff)
The file was modified src/HOL/ROOT (diff)
The file was modified src/HOL/String.thy (diff)