Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. more correct error message
  2. uniform tagging for printable and non-printable literals
Changeset 68034:27ba50c79328 by haftmann:
more correct error message
The file was modified src/Tools/Code/code_scala.ML (diff)
Changeset 68033:ad4b8b6892c3 by haftmann:
uniform tagging for printable and non-printable literals
The file was modified NEWS (diff)
The file was modified src/Doc/Codegen/Adaptation.thy (diff)
The file was modified src/HOL/Library/Code_Test.thy (diff)
The file was modified src/HOL/String.thy (diff)