]> matita.cs.unibo.it Git - helm.git/commit
mathQL modified, stderr corrected to stdout im mathql_interpreter,
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 1 Jul 2002 11:34:24 +0000 (11:34 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 1 Jul 2002 11:34:24 +0000 (11:34 +0000)
commitdec50888f98015c937283acc14e2ffceccc04a11
treeb3614ca6087f360f5051d7034565cb4a3df58752
parentb89599c60d93bfc05dc15d6e22348fcc87fa722f
mathQL modified, stderr corrected to stdout im mathql_interpreter,
new lavel assignment procedure in mQueryGenerator (uses degrees),
textual interface for mQueryGenerator added
17 files changed:
helm/gTopLevel/gTopLevel.ml
helm/gTopLevel/mQueryGenerator.ml
helm/gTopLevel/mQueryGenerator.mli
helm/gTopLevel/topLevel/.depend [new file with mode: 0644]
helm/gTopLevel/topLevel/Makefile [new file with mode: 0644]
helm/gTopLevel/topLevel/Readme [new file with mode: 0644]
helm/gTopLevel/topLevel/topLevel.ml [new file with mode: 0644]
helm/ocaml/mathql/mQueryTParser.mly
helm/ocaml/mathql/mQueryUtil.ml
helm/ocaml/mathql/mQueryUtil.mli
helm/ocaml/mathql/mathQL.ml
helm/ocaml/mathql_interpreter/diff.ml
helm/ocaml/mathql_interpreter/intersect.ml
helm/ocaml/mathql_interpreter/mqint.ml
helm/ocaml/mathql_interpreter/select.ml
helm/ocaml/mathql_interpreter/sortedby.ml
helm/ocaml/mathql_interpreter/union.ml