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