just one Presentation.State for all sessions: avoid duplication of already presented theories (very slow) and cached theory export (not very slow);
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLE1c2863734db1: proper version;
- Branches
- Unknown
- Tags