matita.cs.unibo.it Git - helm.git/commit

]> matita.cs.unibo.it Git - helm.git/commit

author	Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
	Fri, 23 Sep 2005 17:43:59 +0000 (17:43 +0000)
committer	Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
	Fri, 23 Sep 2005 17:43:59 +0000 (17:43 +0000)
commit	259a4a2080cc5af5b20da1cd9133eb32f28c5d8f
tree	f17493c1a3c43af90311540ad927a53bfb2a986c	tree \| snapshot
parent	718082d4e6316ba47b69494c5187dde950847236	commit \| diff

New module HMysql (to abstract over Mysql and make profiling easier).

25 files changed:

helm/ocaml/cic_disambiguation/disambiguate.ml		diff \| blob \| history
helm/ocaml/cic_disambiguation/disambiguate.mli		diff \| blob \| history
helm/ocaml/cic_notation/grafiteAst.ml		diff \| blob \| history
helm/ocaml/extlib/.depend		diff \| blob \| history
helm/ocaml/extlib/Makefile		diff \| blob \| history
helm/ocaml/extlib/hMysql.ml	[new file with mode: 0644]	blob
helm/ocaml/extlib/hMysql.mli	[new file with mode: 0644]	blob
helm/ocaml/mathql_interpreter/mQIConn.ml		diff \| blob \| history
helm/ocaml/mathql_interpreter/mQIConn.mli		diff \| blob \| history
helm/ocaml/mathql_interpreter/mQIMySql.ml		diff \| blob \| history
helm/ocaml/mathql_interpreter/mQIMySql.mli		diff \| blob \| history
helm/ocaml/metadata/metadataConstraints.ml		diff \| blob \| history
helm/ocaml/metadata/metadataConstraints.mli		diff \| blob \| history
helm/ocaml/metadata/metadataDb.ml		diff \| blob \| history
helm/ocaml/metadata/metadataDb.mli		diff \| blob \| history
helm/ocaml/paramodulation/inference.ml		diff \| blob \| history
helm/ocaml/paramodulation/inference.mli		diff \| blob \| history
helm/ocaml/paramodulation/saturate_main.ml		diff \| blob \| history
helm/ocaml/tactics/autoTactic.ml		diff \| blob \| history
helm/ocaml/tactics/autoTactic.mli		diff \| blob \| history
helm/ocaml/tactics/eliminationTactics.mli		diff \| blob \| history
helm/ocaml/tactics/fwdSimplTactic.mli		diff \| blob \| history
helm/ocaml/tactics/metadataQuery.ml		diff \| blob \| history
helm/ocaml/tactics/metadataQuery.mli		diff \| blob \| history
helm/ocaml/tactics/tactics.mli		diff \| blob \| history

Unnamed repository; edit this file 'description' to name the repository.