[isabelle-dev] Document generation / Tags

Lars Noschinski 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
>> proofs).
>
> what about option document_variants?

document_variants seems to be about the file name of the generated document.

   -- Lars



More information about the isabelle-dev mailing list