[isabelle-dev] Document generation / Tags

Lars Noschinski noschinl at in.tum.de
Wed Sep 5 19:22:24 CEST 2012


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).

   -- Lars

More information about the isabelle-dev mailing list