new .depend files

diff --git a/helm/gTopLevel/.depend b/helm/gTopLevel/.depend
index f22b5a1ad97eca023eaf8057f7487b4239266555..ceb96bd386cd1a8320fe1383e91583c2e8f65df4 100644 (file)
--- a/helm/gTopLevel/.depend
+++ b/helm/gTopLevel/.depend
@@ -29,8 +29,8 @@ invokeTactics.cmx: logicalOperations.cmx proofEngine.cmx termEditor.cmx \
     termViewer.cmx invokeTactics.cmi 
 hbugs.cmo: invokeTactics.cmi proofEngine.cmi hbugs.cmi 
 hbugs.cmx: invokeTactics.cmx proofEngine.cmx hbugs.cmi 
-chosenTermEditor.cmo: termEditor.cmi chosenTermEditor.cmi 
-chosenTermEditor.cmx: termEditor.cmx chosenTermEditor.cmi 
+chosenTermEditor.cmo: texTermEditor.cmi chosenTermEditor.cmi 
+chosenTermEditor.cmx: texTermEditor.cmx chosenTermEditor.cmi 
 helmGtkLogger.cmo: helmGtkLogger.cmi 
 helmGtkLogger.cmx: helmGtkLogger.cmi 
 gTopLevel.cmo: chosenTermEditor.cmi chosenTransformer.cmi \

diff --git a/helm/ocaml/cic/.depend b/helm/ocaml/cic/.depend
index 567c610f4a8cb63b14483271e99660b732bb8f74..e46636b249002a1ddfa3f18c80d7f461d727ba75 100644 (file)
--- a/helm/ocaml/cic/.depend
+++ b/helm/ocaml/cic/.depend
@@ -11,7 +11,7 @@ cicParser2.cmo: cic.cmo cicParser3.cmi cicParser2.cmi
 cicParser2.cmx: cic.cmx cicParser3.cmx cicParser2.cmi 
 cicParser.cmo: cicParser2.cmi cicParser3.cmi deannotate.cmi cicParser.cmi 
 cicParser.cmx: cicParser2.cmx cicParser3.cmx deannotate.cmx cicParser.cmi 
-cicUtil.cmo: cicUtil.cmi 
-cicUtil.cmx: cicUtil.cmi 
+cicUtil.cmo: cic.cmo cicUtil.cmi 
+cicUtil.cmx: cic.cmx cicUtil.cmi 
 helmLibraryObjects.cmo: cic.cmo 
 helmLibraryObjects.cmx: cic.cmx 

diff --git a/helm/ocaml/cic_unification/.depend b/helm/ocaml/cic_unification/.depend
index 30f6d160b8f6c66405161aecbfabd54bcc910903..b91986315368aa663d5522f8f3ef96a13824517f 100644 (file)
--- a/helm/ocaml/cic_unification/.depend
+++ b/helm/ocaml/cic_unification/.depend
@@ -1,5 +1,3 @@
-cicMkImplicit.cmo: cicMkImplicit.cmi 
-cicMkImplicit.cmx: cicMkImplicit.cmi 
 cicUnification.cmi: cicMetaSubst.cmi 
 cicMkImplicit.cmo: cicMkImplicit.cmi 
 cicMkImplicit.cmx: cicMkImplicit.cmi 

diff --git a/helm/ocaml/getter/.depend b/helm/ocaml/getter/.depend
index 45bc04e7b311c42c92e15f7ebdc8b29de9d1072f..58fb042acbd80c8bc4034db6aa648c9fc625fb95 100644 (file)
--- a/helm/ocaml/getter/.depend
+++ b/helm/ocaml/getter/.depend
@@ -26,11 +26,11 @@ http_getter_cache.cmo: http_getter_common.cmi http_getter_debugger.cmi \
 http_getter_cache.cmx: http_getter_common.cmx http_getter_debugger.cmx \
     http_getter_env.cmx http_getter_misc.cmx http_getter_types.cmx \
     http_getter_cache.cmi 
-http_getter.cmo: http_getter_cache.cmi http_getter_common.cmi \
+http_getter.cmo: clientHTTP.cmi http_getter_cache.cmi http_getter_common.cmi \
     http_getter_const.cmi http_getter_debugger.cmi http_getter_env.cmi \
     http_getter_map.cmi http_getter_misc.cmi http_getter_types.cmo \
     http_getter.cmi 
-http_getter.cmx: http_getter_cache.cmx http_getter_common.cmx \
+http_getter.cmx: clientHTTP.cmx http_getter_cache.cmx http_getter_common.cmx \
     http_getter_const.cmx http_getter_debugger.cmx http_getter_env.cmx \
     http_getter_map.cmx http_getter_misc.cmx http_getter_types.cmx \
     http_getter.cmi 

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 \