From 7c33d285b07538e7cf6be9dd9332e164c47904fe Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Wed, 16 Nov 2005 10:41:06 +0000 Subject: [PATCH] The .depend must not be committed! Fixed. --- helm/matita/contribs/LAMBDA-TYPES/.cvsignore | 2 ++ helm/matita/contribs/LAMBDA-TYPES/.depend | 25 ------------------- .../contribs/PREDICATIVE-TOPOLOGY/.cvsignore | 2 ++ .../contribs/PREDICATIVE-TOPOLOGY/.depend | 4 --- 4 files changed, 4 insertions(+), 29 deletions(-) create mode 100644 helm/matita/contribs/LAMBDA-TYPES/.cvsignore delete mode 100644 helm/matita/contribs/LAMBDA-TYPES/.depend create mode 100644 helm/matita/contribs/PREDICATIVE-TOPOLOGY/.cvsignore delete mode 100644 helm/matita/contribs/PREDICATIVE-TOPOLOGY/.depend diff --git a/helm/matita/contribs/LAMBDA-TYPES/.cvsignore b/helm/matita/contribs/LAMBDA-TYPES/.cvsignore new file mode 100644 index 000000000..6d473d47a --- /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 index b4b21a2e6..000000000 --- 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 index 000000000..6d473d47a --- /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 index 77cbce52d..000000000 --- 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 -- 2.39.2