Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. more explicit type Dump.Session, with context information;
  2. proper orientation;
  3. clarified signature: prefer operations without position;
  4. prefer Theory_Ordering theory names are unique (due to proper session context);
Changeset 70640:5f4b8a505090 by wenzelm:
more explicit type Dump.Session, with context information;
The file was modified src/Pure/PIDE/headless.scala (diff)
The file was modified src/Pure/Tools/dump.scala (diff)
The file was modified src/Pure/Tools/update.scala (diff)
Changeset 70639:ad7891a73230 by wenzelm:
proper orientation;
The file was modified src/Pure/Thy/sessions.scala (diff)
Changeset 70638:f164cec7ac22 by wenzelm:
clarified signature: prefer operations without position;
The file was modified src/Pure/PIDE/command.scala (diff)
The file was modified src/Pure/PIDE/document.scala (diff)
The file was modified src/Pure/PIDE/headless.scala (diff)
The file was modified src/Pure/PIDE/protocol.scala (diff)
The file was modified src/Pure/PIDE/resources.scala (diff)
The file was modified src/Pure/Thy/sessions.scala (diff)
The file was modified src/Pure/Thy/thy_header.scala (diff)
The file was modified src/Pure/Thy/thy_syntax.scala (diff)
The file was modified src/Pure/Tools/imports.scala (diff)
Changeset 70637:4c98d37e1448 by wenzelm:
prefer Theory_Ordering theory names are unique (due to proper session context);
The file was modified src/Pure/PIDE/headless.scala (diff)
The file was modified src/Pure/Thy/sessions.scala (diff)