official support for document theories from other sessions;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLE76550282267f: more interrupts, notably for running latex;
- Branches
- Unknown
- Tags
official support for document theories from other sessions; Tags None Subscribers None |