build documents in Isabelle/Scala, based on generated tex files as session exports;
reworked "isabelle document" for quasi-offline document builds: similar functionality included in "isabelle build -o document=pdf";
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLEa085a1a89388: more operations;
- Branches
- Unknown
- Tags