Summary
- more correct error message
- uniform tagging for printable and non-printable literals
The file was modified | src/Tools/Code/code_scala.ML (diff) |
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) |