[isabelle] document generation for selected theories only


I have a ROOT file that specifies

theories [ document = true ]


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

- Gergely

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