Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. more uniform treatment of file name vs. theory name and special header;
  2. clarified document: no stored text;
  3. clarified header text;
Changeset 64673:b5965890e54d by wenzelm:
more uniform treatment of file name vs. theory name and special header;
The file was modified src/Pure/PIDE/resources.scala (diff)
The file was modified src/Pure/Thy/thy_header.scala (diff)
The file was modified src/Tools/VSCode/src/document_model.scala (diff)
The file was modified src/Tools/VSCode/src/server.scala (diff)
The file was modified src/Tools/jEdit/src/document_model.scala (diff)
Changeset 64672:d8e0619abb60 by wenzelm:
clarified document: no stored text;
The file was modified src/Pure/PIDE/line.scala (diff)
The file was modified src/Tools/VSCode/src/document_model.scala (diff)
Changeset 64671:93e375bd3283 by wenzelm:
clarified header text;
The file was modified src/Pure/Isar/token.scala (diff)
The file was modified src/Pure/Thy/thy_header.scala (diff)
The file was modified src/Tools/VSCode/src/document_model.scala (diff)