From e01614ddeb9a35e6203c0e0a93d304f80cb52893 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Tue, 25 Oct 2005 12:32:09 +0000 Subject: [PATCH] ... --- helm/matita/contribs/LAMBDA-TYPES/.depend | 19 +++++++++++++------ helm/ocaml/hmysql/.cvsignore | 2 ++ 2 files changed, 15 insertions(+), 6 deletions(-) create mode 100644 helm/ocaml/hmysql/.cvsignore diff --git a/helm/matita/contribs/LAMBDA-TYPES/.depend b/helm/matita/contribs/LAMBDA-TYPES/.depend index 85e7c6d76..b4b21a2e6 100644 --- a/helm/matita/contribs/LAMBDA-TYPES/.depend +++ b/helm/matita/contribs/LAMBDA-TYPES/.depend @@ -1,9 +1,9 @@ -/home/tassi/helm/matita/.matita/xml/matita/LAMBDA-TYPES/lref_map_defs.moo: ./lref_map_defs.ma /home/tassi/helm/matita/.matita/xml/matita/LAMBDA-TYPES/terms_defs.moo -./lref_map_defs.mo: /home/tassi/helm/matita/.matita/xml/matita/LAMBDA-TYPES/lref_map_defs.moo -/home/tassi/helm/matita/.matita/xml/matita/LAMBDA-TYPES/terms_defs.moo: ./terms_defs.ma /home/tassi/helm/matita/coq.moo -./terms_defs.mo: /home/tassi/helm/matita/.matita/xml/matita/LAMBDA-TYPES/terms_defs.moo -/home/tassi/helm/matita/.matita/xml/matita/LAMBDA-TYPES/tlt_defs.moo: ./tlt_defs.ma /home/tassi/helm/matita/.matita/xml/matita/LAMBDA-TYPES/terms_defs.moo -./tlt_defs.mo: /home/tassi/helm/matita/.matita/xml/matita/LAMBDA-TYPES/tlt_defs.moo +/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. @@ -13,6 +13,13 @@ !! 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/ocaml/hmysql/.cvsignore b/helm/ocaml/hmysql/.cvsignore new file mode 100644 index 000000000..8d64a5378 --- /dev/null +++ b/helm/ocaml/hmysql/.cvsignore @@ -0,0 +1,2 @@ +*.cm[iaox] +*.cmxa -- 2.39.2