]> matita.cs.unibo.it Git - helm.git/commit - helm/ocaml/mathql_interpreter/utility.ml
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 837a0cf) | patch
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
tree2e26d69a83279f04118bbabff2891fb730eb6119tree | snapshot
parent837a0cfe2e7826f8cc8b68d73fee3e5e020539cccommit | diff
print_endline ==> prerr_endline
and other minor code improvements
helm/ocaml/mathql_interpreter/context.ml diff | blob | history
helm/ocaml/mathql_interpreter/diff.ml diff | blob | history
helm/ocaml/mathql_interpreter/mqint.ml diff | blob | history
helm/ocaml/mathql_interpreter/select.ml diff | blob | history
helm/ocaml/mathql_interpreter/utility.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.