disable export_document by default (presently unused and for demo/testing purposes): avoid spurious IO exception in highly parallel environment;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLEeb53f944c8cd: simplified ZF theory names (in contrast to 6a0801279f4c): session-qualification…
- Branches
- Unknown
- Tags