The .depend must not be committed! Fixed.

diff --git a/helm/matita/contribs/LAMBDA-TYPES/.cvsignore b/helm/matita/contribs/LAMBDA-TYPES/.cvsignore
new file mode 100644 (file)
index 0000000..6d473d4
--- /dev/null
+++ b/helm/matita/contribs/LAMBDA-TYPES/.cvsignore
@@ -0,0 +1,2 @@
+.depend
+*.moo

diff --git a/helm/matita/contribs/LAMBDA-TYPES/.depend b/helm/matita/contribs/LAMBDA-TYPES/.depend
deleted file mode 100644 (file)
index b4b21a2..0000000
--- a/helm/matita/contribs/LAMBDA-TYPES/.depend
+++ /dev/null
@@ -1,25 +0,0 @@
-/home/sacerdot/miohelm/matita/.matita/xml/matita/LAMBDA-TYPES/lref_map_defs.moo: ./lref_map_defs.ma /home/sacerdot/miohelm/matita/.matita/xml/matita/LAMBDA-TYPES/terms_defs.moo
-./lref_map_defs.mo: /home/sacerdot/miohelm/matita/.matita/xml/matita/LAMBDA-TYPES/lref_map_defs.moo
-/home/sacerdot/miohelm/matita/.matita/xml/matita/LAMBDA-TYPES/terms_defs.moo: ./terms_defs.ma /home/sacerdot/miohelm/matita/coq.moo
-./terms_defs.mo: /home/sacerdot/miohelm/matita/.matita/xml/matita/LAMBDA-TYPES/terms_defs.moo
-/home/sacerdot/miohelm/matita/.matita/xml/matita/LAMBDA-TYPES/tlt_defs.moo: ./tlt_defs.ma /home/sacerdot/miohelm/matita/.matita/xml/matita/LAMBDA-TYPES/terms_defs.moo
-./tlt_defs.mo: /home/sacerdot/miohelm/matita/.matita/xml/matita/LAMBDA-TYPES/tlt_defs.moo
-!! TOTAL TIME SPENT IN disambiguate_thing: 0.
-!! TOTAL TIME SPENT IN disambiguate_thing.refine_thing: 0.
-!! TOTAL TIME SPENT IN add_obj: 0.
-!! TOTAL TIME SPENT IN add_obj.index_obj: 0.
-!! TOTAL TIME SPENT IN add_obj.typecheck_obj: 0.
-!! TOTAL TIME SPENT IN alias_diff (conteggiato anche in include): 0.
-!! TOTAL TIME SPENT IN disambiguate_thing.refine_thing: 0.
-!! TOTAL TIME SPENT IN CicRefine: 0.
-!! TOTAL TIME SPENT IN CicRefine.fo_unif: 0.
-!! TOTAL TIME SPENT IN fo_unif_subst.are_convertible: 0.
-!! TOTAL TIME SPENT IN fo_unif_subst.deref': 0.
-!! TOTAL TIME SPENT IN fo_unif_subst.beta_expand: 0.
-!! TOTAL TIME SPENT IN fo_unif_subst.type_of_aux': 0.
-!! TOTAL TIME SPENT IN ~are_convertible.whd: 0.
-!! TOTAL TIME SPENT IN are_convertible.whd: 0.
-!! TOTAL TIME SPENT IN are_convertible.unwind: 0.
-!! TOTAL TIME SPENT IN clean_and_fill: 0.
-!! TOTAL TIME SPENT IN mysql: 0.
-!! TOTAL TIME SPENT IN Xml.pp: 0.

diff --git a/helm/matita/contribs/PREDICATIVE-TOPOLOGY/.cvsignore b/helm/matita/contribs/PREDICATIVE-TOPOLOGY/.cvsignore
new file mode 100644 (file)
index 0000000..6d473d4
--- /dev/null
+++ b/helm/matita/contribs/PREDICATIVE-TOPOLOGY/.cvsignore
@@ -0,0 +1,2 @@
+.depend
+*.moo

diff --git a/helm/matita/contribs/PREDICATIVE-TOPOLOGY/.depend b/helm/matita/contribs/PREDICATIVE-TOPOLOGY/.depend
deleted file mode 100644 (file)
index 77cbce5..0000000
--- a/helm/matita/contribs/PREDICATIVE-TOPOLOGY/.depend
+++ /dev/null
@@ -1,4 +0,0 @@
-/home/sacerdot/.matita/xml/matita/PREDICATIVE-TOPOLOGY/ac_defs.moo: ./ac_defs.ma /home/sacerdot/miohelm/matita/coq.moo
-./ac_defs.mo: /home/sacerdot/.matita/xml/matita/PREDICATIVE-TOPOLOGY/ac_defs.moo
-/home/sacerdot/.matita/xml/matita/PREDICATIVE-TOPOLOGY/qd_defs.moo: ./qd_defs.ma /home/sacerdot/.matita/xml/matita/PREDICATIVE-TOPOLOGY/ac_defs.moo
-./qd_defs.mo: /home/sacerdot/.matita/xml/matita/PREDICATIVE-TOPOLOGY/qd_defs.moo