Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. clarified signature;
  2. read theory content from session database;
  3. clarified signature;
  4. misc tuning and clarification;
Changeset 68204:a554da2811f2 by wenzelm:
clarified signature;
The file was modified src/Pure/ML/ml_process.scala (diff)
The file was modified src/Pure/System/isabelle_process.scala (diff)
The file was modified src/Pure/Thy/sessions.scala (diff)
The file was modified src/Pure/Tools/build.scala (diff)
The file was modified src/Pure/Tools/imports.scala (diff)
The file was modified src/Tools/jEdit/src/jedit_sessions.scala (diff)
Changeset 68203:cda4f24331d5 by wenzelm:
read theory content from session database;
The file was modified src/Pure/Thy/export_theory.scala (diff)
Changeset 68202:a99180ad3441 by wenzelm:
clarified signature;
The file was modified src/Pure/Thy/export.scala (diff)
Changeset 68201:dee993b88a7b by wenzelm:
misc tuning and clarification;
The file was modified src/Pure/Thy/export_theory.ML (diff)