[isabelle] document generation for selected theories only



Hi,

I have a ROOT file that specifies

theories [ document = true ]

  "MyTheory.thy"

As I understand if I import other theories and there are ROOT files
belonging to them they will be processed as well for document preparation.

To not enable this I can give a section

theories [document = false ]

but that sometimes make a long list.

Is it possible to select theories and produce the proof document _only_ for
them?

- Gergely



This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.