]> matita.cs.unibo.it Git - helm.git/commit
no longer use Dbi module but directly use Mysql module since it's 13
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 3 Nov 2004 16:31:43 +0000 (16:31 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 3 Nov 2004 16:31:43 +0000 (16:31 +0000)
commit282f371ba8533ea0e4e667265f9e4b04856bf972
tree1f50d47445597af3f60e0449748fdfb27c920c43
parent08b4e4ec7df6644f42fcad30b9d46195c935cf6e
no longer use Dbi module but directly use Mysql module since it's 13
times faster
31 files changed:
helm/gTopLevel/Makefile.in
helm/gTopLevel/chosenTermEditor.mli
helm/gTopLevel/disambiguatingParser.ml.in
helm/gTopLevel/disambiguatingParser.mli
helm/gTopLevel/gTopLevel.conf.xml.sample
helm/gTopLevel/gTopLevel.ml
helm/gTopLevel/invokeTactics.ml
helm/gTopLevel/invokeTactics.mli
helm/gTopLevel/proofEngine.ml
helm/gTopLevel/proofEngine.mli
helm/gTopLevel/termEditor.ml
helm/gTopLevel/termEditor.mli
helm/gTopLevel/termViewer.ml
helm/gTopLevel/texTermEditor.ml
helm/gTopLevel/texTermEditor.mli
helm/ocaml/METAS/meta.helm-metadata.src
helm/ocaml/cic_disambiguation/disambiguate.ml
helm/ocaml/cic_disambiguation/disambiguate.mli
helm/ocaml/metadata/Makefile
helm/ocaml/metadata/metadataConstraints.ml
helm/ocaml/metadata/metadataConstraints.mli
helm/ocaml/metadata/metadataDb.ml
helm/ocaml/metadata/metadataDb.mli
helm/ocaml/metadata/metadataPp.ml
helm/ocaml/metadata/metadataPp.mli
helm/ocaml/metadata/test.ml
helm/ocaml/tactics/Makefile
helm/ocaml/tactics/metadataQuery.ml
helm/ocaml/tactics/metadataQuery.mli
helm/ocaml/tactics/variousTactics.ml
helm/ocaml/tactics/variousTactics.mli