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
TOPLEVELOBJS = \
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
TOPLEVELOBJS = \