HomeIsabelle/Phabricator

build documents in Isabelle/Scala, based on generated tex files as session…

Description

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";

Details

Provenance
makariusAuthored on
Parents
rISABELLEa085a1a89388: more operations;
Branches
Unknown
Tags
Unknown