Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. clarified signature: more types and operations;
  2. clarified signature;
  3. tuned;
Changeset 76629:f55c67f2889b by wenzelm:
clarified signature: more types and operations;
The file was modified src/Pure/Thy/sessions.scala (diff)
Changeset 76628:46017d6b9bfa by wenzelm:
clarified signature;
The file was modified src/Pure/Thy/document_build.scala (diff)
The file was modified src/Pure/Thy/sessions.scala (diff)
Changeset 76627:2542ea382215 by wenzelm:
tuned;
The file was modified src/Pure/Thy/sessions.scala (diff)