From 6f0bf1e9e4094d452bf318a49979deb5800ac779 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Thu, 22 Jan 2004 15:54:59 +0000 Subject: [PATCH] added ChosenTransformer --- helm/gTopLevel/.depend | 8 ++++++-- helm/gTopLevel/Makefile | 2 +- 2 files changed, 7 insertions(+), 3 deletions(-) diff --git a/helm/gTopLevel/.depend b/helm/gTopLevel/.depend index e7f7c2d1d..7c020b397 100644 --- a/helm/gTopLevel/.depend +++ b/helm/gTopLevel/.depend @@ -14,8 +14,12 @@ texTermEditor.cmo: disambiguate.cmi texTermEditor.cmi texTermEditor.cmx: disambiguate.cmx texTermEditor.cmi xmlDiff.cmo: xmlDiff.cmi xmlDiff.cmx: xmlDiff.cmi -termViewer.cmo: logicalOperations.cmi xmlDiff.cmi termViewer.cmi -termViewer.cmx: logicalOperations.cmx xmlDiff.cmx termViewer.cmi +chosenTransformer.cmo: chosenTransformer.cmi +chosenTransformer.cmx: chosenTransformer.cmi +termViewer.cmo: chosenTransformer.cmi logicalOperations.cmi xmlDiff.cmi \ + termViewer.cmi +termViewer.cmx: chosenTransformer.cmx logicalOperations.cmx xmlDiff.cmx \ + termViewer.cmi invokeTactics.cmo: logicalOperations.cmi proofEngine.cmi termEditor.cmi \ termViewer.cmi invokeTactics.cmi invokeTactics.cmx: logicalOperations.cmx proofEngine.cmx termEditor.cmx \ diff --git a/helm/gTopLevel/Makefile b/helm/gTopLevel/Makefile index 89102f855..9dc7113df 100644 --- a/helm/gTopLevel/Makefile +++ b/helm/gTopLevel/Makefile @@ -24,7 +24,7 @@ stop: INTERFACE_FILES = \ proofEngine.mli logicalOperations.mli disambiguate.mli \ - termEditor.mli texTermEditor.mli xmlDiff.mli termViewer.mli \ + termEditor.mli texTermEditor.mli xmlDiff.mli chosenTransformer.mli termViewer.mli \ invokeTactics.mli hbugs.mli DEPOBJS = $(INTERFACE_FILES) $(INTERFACE_FILES:%.mli=%.ml) gTopLevel.ml -- 2.39.2