Changes

Summary

updated some Sledgehammer components, following Makarius advice
export more theory and session structure;
tuned signature;
clarified signature;
read theory content from session database;
clarified signature;
misc tuning and clarification;
NEWS and CONTRIBUTORS for 8b50f29a1992

Changeset 68207:1463c4996fb2 by blanchet: updated some Sledgehammer components, following Makarius advice
The file was modified	`Admin/components/components.sha1` (diff)
The file was modified	`Admin/components/main` (diff)
Changeset 68206:dedf1a70d1fa by wenzelm: export more theory and session structure;
The file was modified	`src/Pure/Thy/export_theory.ML` (diff)
The file was modified	`src/Pure/Thy/export_theory.scala` (diff)
Changeset 68205:9a8949f71fd4 by wenzelm: tuned signature;
The file was modified	`src/Pure/Thy/export.scala` (diff)
The file was modified	`src/Pure/Thy/sessions.scala` (diff)
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)
Changeset 68200:5859c688102a by Andreas Lochbihler: NEWS and CONTRIBUTORS for 8b50f29a1992
The file was modified	`CONTRIBUTORS` (diff)
The file was modified	`NEWS` (diff)