-DEPOBJS = xml2Gdome.ml proofEngineTypes.ml proofEngineHelpers.ml \
- proofEngineReduction.ml proofEngineStructuralRules.ml \
- proofEngineStructuralRules.mli \
- primitiveTactics.ml primitiveTactics.mli ring.ml ring.mli \
- proofEngine.ml proofEngine.mli \
- doubleTypeInference.ml doubleTypeInference.mli cic2acic.ml \
- cic2Xml.ml cic2acic.mli logicalOperations.ml sequentPp.ml \
- mQueryGenerator.mli mQueryGenerator.ml gTopLevel.ml
+DEPOBJS = \
+ proofEngine.ml proofEngine.mli logicalOperations.ml \
+ logicalOperations.mli disambiguate.ml disambiguate.mli termEditor.ml \
+ termEditor.mli texTermEditor.ml texTermEditor.mli xmlDiff.ml \
+ xmlDiff.mli termViewer.ml termViewer.mli invokeTactics.ml \
+ invokeTactics.mli hbugs.ml hbugs.mli gTopLevel.ml