]> matita.cs.unibo.it Git - helm.git/commit
The two interpreters are now both in mathql_interpreter. The one actually
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 22 Oct 2002 08:30:06 +0000 (08:30 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 22 Oct 2002 08:30:06 +0000 (08:30 +0000)
commit37939472ad665d3c071bf53bf4f484744d6453e0
treeaa4139f2264afa1b6ab95112bfece88fc4e1a240
parent500627d36e789bb09eada3988afe8dffd4e8e4de
The two interpreters are now both in mathql_interpreter. The one actually
used can be choosed setting a global reference.
40 files changed:
helm/ocaml/mathql_interpreter_galax/.cvsignore [deleted file]
helm/ocaml/mathql_interpreter_galax/.depend [deleted file]
helm/ocaml/mathql_interpreter_galax/2test_use.ml [deleted file]
helm/ocaml/mathql_interpreter_galax/2use.ml [deleted file]
helm/ocaml/mathql_interpreter_galax/Makefile [deleted file]
helm/ocaml/mathql_interpreter_galax/diff.ml [deleted file]
helm/ocaml/mathql_interpreter_galax/diff.mli [deleted file]
helm/ocaml/mathql_interpreter_galax/eval.ml [deleted file]
helm/ocaml/mathql_interpreter_galax/eval.mli [deleted file]
helm/ocaml/mathql_interpreter_galax/func.ml [deleted file]
helm/ocaml/mathql_interpreter_galax/func.mli [deleted file]
helm/ocaml/mathql_interpreter_galax/getallrdfuris.xml [deleted file]
helm/ocaml/mathql_interpreter_galax/intersect.ml [deleted file]
helm/ocaml/mathql_interpreter_galax/intersect.mli [deleted file]
helm/ocaml/mathql_interpreter_galax/letin.ml [deleted file]
helm/ocaml/mathql_interpreter_galax/letin.mli [deleted file]
helm/ocaml/mathql_interpreter_galax/mathql_semantics.ml [deleted file]
helm/ocaml/mathql_interpreter_galax/mqint.ml [deleted file]
helm/ocaml/mathql_interpreter_galax/mqint.mli [deleted file]
helm/ocaml/mathql_interpreter_galax/pattern.ml [deleted file]
helm/ocaml/mathql_interpreter_galax/pattern.mli [deleted file]
helm/ocaml/mathql_interpreter_galax/pervasive.xq [deleted file]
helm/ocaml/mathql_interpreter_galax/pervasive.xqp [deleted file]
helm/ocaml/mathql_interpreter_galax/select.ml [deleted file]
helm/ocaml/mathql_interpreter_galax/select.mli [deleted file]
helm/ocaml/mathql_interpreter_galax/sortedby.ml [deleted file]
helm/ocaml/mathql_interpreter_galax/sortedby.mli [deleted file]
helm/ocaml/mathql_interpreter_galax/test_intersect.ml [deleted file]
helm/ocaml/mathql_interpreter_galax/test_pattern.ml [deleted file]
helm/ocaml/mathql_interpreter_galax/test_select.ml [deleted file]
helm/ocaml/mathql_interpreter_galax/test_select2.ml [deleted file]
helm/ocaml/mathql_interpreter_galax/test_union.ml [deleted file]
helm/ocaml/mathql_interpreter_galax/test_use.ml [deleted file]
helm/ocaml/mathql_interpreter_galax/tools.ml [deleted file]
helm/ocaml/mathql_interpreter_galax/union.ml [deleted file]
helm/ocaml/mathql_interpreter_galax/union.mli [deleted file]
helm/ocaml/mathql_interpreter_galax/use.ml [deleted file]
helm/ocaml/mathql_interpreter_galax/use.mli [deleted file]
helm/ocaml/mathql_interpreter_galax/utility.ml [deleted file]
helm/ocaml/mathql_interpreter_galax/utility.mli [deleted file]