- proofEngine.mli logicalOperations.mli oldDisambiguate.mli \
- disambiguatingParser.mli termEditor.mli texTermEditor.mli xmlDiff.mli \
- chosenTransformer.mli termViewer.mli invokeTactics.mli hbugs.mli \
- chosenTermEditor.mli
+ proofEngine.mli \
+ logicalOperations.mli \
+ oldDisambiguate.mli \
+ disambiguatingParser.mli \
+ termEditor.mli \
+ texTermEditor.mli \
+ xmlDiff.mli \
+ chosenTransformer.mli \
+ termViewer.mli \
+ invokeTactics.mli \
+ hbugs.mli \
+ chosenTermEditor.mli