Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. more explicit check;
  2. more robust treatment of UTF8 in raw byte sources;
  3. clarified check, assuming that load commands are plain ASCII;
  4. more documentation;
  5. disallow blanks, relevant for session_name / theory_name e.g. in build log files;
  6. uniform system name;
Changeset 66919:1f93e376aeb6 by wenzelm:
more explicit check;
The file was modified src/Pure/General/symbol.scala (diff)
The file was modified src/Pure/Isar/keyword.scala (diff)
Changeset 66918:ec2b50aeb0dd by wenzelm:
more robust treatment of UTF8 in raw byte sources;
The file was modified src/Pure/General/scan.scala (diff)
The file was modified src/Pure/PIDE/resources.scala (diff)
The file was modified src/Pure/Thy/thy_header.scala (diff)
Changeset 66917:fcf84cd6c94f by wenzelm:
clarified check, assuming that load commands are plain ASCII;
The file was modified src/Pure/PIDE/resources.scala (diff)
Changeset 66916:aca50a1572c5 by wenzelm:
more documentation;
The file was modified src/Doc/Isar_Ref/Outer_Syntax.thy (diff)
The file was modified src/Doc/Isar_Ref/Spec.thy (diff)
The file was modified src/Doc/System/Sessions.thy (diff)
Changeset 66915:f4259adc928a by wenzelm:
disallow blanks, relevant for session_name / theory_name e.g. in build log files;
The file was modified src/Pure/Isar/token.scala (diff)
Changeset 66914:fb3f13a9c756 by wenzelm:
uniform system name;
The file was modified src/Pure/Isar/parse.scala (diff)
The file was modified src/Pure/Isar/token.scala (diff)
The file was modified src/Pure/Thy/sessions.scala (diff)