Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. export sort algebra;
  2. tuned;
  3. tuned;
  4. support 'export_files' in session ROOT;
  5. clarified output;
  6. support multiple patterns;
  7. clarified cache;
  8. tuned signature;
  9. tuned output;
Changeset 68295:781a98696638 by wenzelm:
export sort algebra;
The file was modified src/Pure/Thy/export_theory.ML (diff)
The file was modified src/Pure/Thy/export_theory.scala (diff)
The file was modified src/Pure/sorts.ML (diff)
Changeset 68294:0f513ae3db77 by wenzelm:
tuned;
The file was modified src/Pure/Thy/sessions.scala (diff)
Changeset 68293:2bc4e5d9cca6 by wenzelm:
tuned;
The file was modified src/Pure/PIDE/session.scala (diff)
Changeset 68292:7ca0c23179e6 by wenzelm:
support 'export_files' in session ROOT;
The file was modified NEWS (diff)
The file was modified src/Doc/System/Sessions.thy (diff)
The file was modified src/Pure/Sessions.thy (diff)
The file was modified src/Pure/Thy/sessions.ML (diff)
The file was modified src/Pure/Thy/sessions.scala (diff)
The file was modified src/Pure/Tools/build.scala (diff)
Changeset 68291:1e1877cb9b3a by wenzelm:
clarified output;
The file was modified src/Pure/Thy/export.scala (diff)
Changeset 68290:f1f5ccc85b25 by wenzelm:
support multiple patterns;
The file was modified src/Doc/System/Sessions.thy (diff)
The file was modified src/Pure/Thy/export.scala (diff)
Changeset 68289:c29fc61fb1b1 by wenzelm:
clarified cache;
The file was modified src/Pure/Thy/export.scala (diff)
The file was modified src/Pure/Tools/build.scala (diff)
Changeset 68288:d20770229f99 by wenzelm:
tuned signature;
The file was modified src/Pure/Thy/export.scala (diff)
Changeset 68287:2ae74a278c10 by wenzelm:
tuned output;
The file was modified src/Pure/General/position.scala (diff)