+all: styles gTopLevel regtest
+opt: styles gTopLevel.opt regtest.opt
+
+start:
+ $(MAKE) -C ../hbugs/ start
+stop:
+ $(MAKE) -C ../hbugs/ stop
+
+INTERFACE_FILES = \
+ proofEngine.mli logicalOperations.mli oldDisambiguate.mli \
+ disambiguatingParser.mli termEditor.mli texTermEditor.mli xmlDiff.mli \
+ chosenTransformer.mli termViewer.mli invokeTactics.mli hbugs.mli \
+ chosenTermEditor.mli