recover some patches after years of continuously changing Isabelle LaTeX output;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rAFP83bb072c2a8b: prefer document_preprocessor over document_build;
- Branches
- Unknown
- Tags