[isabelle-dev] Document generation / Tags
noschinl at in.tum.de
Thu Sep 6 11:28:06 CEST 2012
On 06.09.2012 10:20, Florian Haftmann wrote:
>> I see "isabelle document" has a simple option to switch on/off various
>> things in the generated document (for example, proofs). Is there a way
>> to supply these directly from the ROOT file? Would be useful for these
>> one-off use cases (e.g. I want a view on my theory omitting all the
> what about option document_variants?
document_variants seems to be about the file name of the generated document.
More information about the isabelle-dev