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
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
