Changes

Summary

more abstract database access;
tuned;
clarified heap vs. database operations: discontinued correlation of directory;
tuned;
tuned signature;
support Store with options;
more exports;

Changeset 68214:b0e2a19df95b by wenzelm: more abstract database access;
The file was modified	`src/Pure/Thy/sessions.scala` (diff)
The file was modified	`src/Pure/Tools/build.scala` (diff)
Changeset 68213:bb93511c7e8f by wenzelm: tuned;
The file was modified	`src/Pure/Tools/build.scala` (diff)
Changeset 68212:5a59fded83c7 by wenzelm: clarified heap vs. database operations: discontinued correlation of directory;
The file was modified	`src/Pure/Thy/sessions.scala` (diff)
The file was modified	`src/Pure/Tools/build.scala` (diff)
Changeset 68211:1e7defef8c8a by wenzelm: tuned;
The file was modified	`src/Pure/ML/ml_process.scala` (diff)
Changeset 68210:65f79c0ddb0d by wenzelm: tuned signature;
The file was modified	`src/Pure/Thy/export.scala` (diff)
The file was modified	`src/Pure/Thy/export_theory.scala` (diff)
The file was modified	`src/Pure/Thy/sessions.scala` (diff)
Changeset 68209:aeffd8f1f079 by wenzelm: support Store with options;
The file was modified	`src/Pure/Admin/build_history.scala` (diff)
The file was modified	`src/Pure/Admin/isabelle_cronjob.scala` (diff)
The file was modified	`src/Pure/Admin/jenkins.scala` (diff)
The file was modified	`src/Pure/ML/ml_console.scala` (diff)
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/export.scala` (diff)
The file was modified	`src/Pure/Thy/export_theory.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/Tools/jEdit/src/jedit_sessions.scala` (diff)
Changeset 68208:d9f2cf4fc002 by wenzelm: more exports;
The file was modified	`src/Pure/Thy/export_theory.ML` (diff)
The file was modified	`src/Pure/Thy/export_theory.scala` (diff)