]> matita.cs.unibo.it Git - helm.git/commit
print_endline ==> prerr_endline
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 4 Feb 2003 12:17:02 +0000 (12:17 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 4 Feb 2003 12:17:02 +0000 (12:17 +0000)
commitb2d85dc2b14c7006280f328e62668c9ec4aa5a43
tree2e26d69a83279f04118bbabff2891fb730eb6119
parent837a0cfe2e7826f8cc8b68d73fee3e5e020539cc
print_endline ==> prerr_endline
and other minor code improvements
helm/ocaml/mathql_interpreter/context.ml
helm/ocaml/mathql_interpreter/diff.ml
helm/ocaml/mathql_interpreter/mqint.ml
helm/ocaml/mathql_interpreter/select.ml
helm/ocaml/mathql_interpreter/utility.ml