[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
This archive was generated by a fusion of
Pipermail (Mailman edition) and