From: Stefano Zacchiroli Date: Thu, 22 Jan 2004 15:54:59 +0000 (+0000) Subject: added ChosenTransformer X-Git-Tag: V_0_5_1_4~10 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=6f0bf1e9e4094d452bf318a49979deb5800ac779;p=helm.git added ChosenTransformer --- 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