added sample configuration file

[helm.git] / helm / ocaml / tactics / .depend

diff --git a/helm/ocaml/tactics/.depend b/helm/ocaml/tactics/.depend
index fd3a652e833f1caa846a9bb981ca0d2a5f809418..356cf4b8567c2543f60b0de4e58b9688fe052872 100644 (file)
--- a/helm/ocaml/tactics/.depend
+++ b/helm/ocaml/tactics/.depend
@@ -32,12 +32,10 @@ primitiveTactics.cmo: proofEngineHelpers.cmi proofEngineReduction.cmi \
 primitiveTactics.cmx: proofEngineHelpers.cmx proofEngineReduction.cmx \
     proofEngineTypes.cmx reductionTactics.cmx tacticals.cmx \
     primitiveTactics.cmi 
-variousTactics.cmo: primitiveTactics.cmi proofEngineHelpers.cmi \
-    proofEngineReduction.cmi proofEngineTypes.cmo tacticals.cmi \
-    variousTactics.cmi 
-variousTactics.cmx: primitiveTactics.cmx proofEngineHelpers.cmx \
-    proofEngineReduction.cmx proofEngineTypes.cmx tacticals.cmx \
-    variousTactics.cmi 
+variousTactics.cmo: primitiveTactics.cmi proofEngineReduction.cmi \
+    proofEngineTypes.cmo tacticals.cmi variousTactics.cmi 
+variousTactics.cmx: primitiveTactics.cmx proofEngineReduction.cmx \
+    proofEngineTypes.cmx tacticals.cmx variousTactics.cmi 
 introductionTactics.cmo: primitiveTactics.cmi proofEngineTypes.cmo \
     introductionTactics.cmi 
 introductionTactics.cmx: primitiveTactics.cmx proofEngineTypes.cmx \