Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. tuned signature;
  2. clarified signature: more options;
  3. clarified signature: read full session requirements;
  4. clarified signature;
  5. tuned signature;
Changeset 70792:ea2834adf8de by wenzelm:
tuned signature;
The file was modified src/Pure/PIDE/line.scala (diff)
Changeset 70791:02edce6f0c71 by wenzelm:
clarified signature: more options;
The file was modified src/Pure/Tools/build.scala (diff)
Changeset 70790:73514ccad7a6 by wenzelm:
clarified signature: read full session requirements;
The file was modified src/Pure/Thy/export_theory.scala (diff)
Changeset 70789:89f6af1b483f by wenzelm:
clarified signature;
The file was modified src/Pure/Thy/export_theory.scala (diff)
Changeset 70788:b254a95b6e77 by wenzelm:
tuned signature;
The file was modified src/Pure/ML/ml_process.scala (diff)
The file was modified src/Pure/Thy/sessions.scala (diff)