]> matita.cs.unibo.it Git - helm.git/commit
- removed debugging messages while setting output properties
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 17 Jan 2003 15:16:56 +0000 (15:16 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 17 Jan 2003 15:16:56 +0000 (15:16 +0000)
commitbc49a044b3f9e54e7f696773262db0657d07af82
tree2969c0364f0d2326ae3fff982232135f46217fa0
parent687cbab38e29872274431145d61637da4f672065
- removed debugging messages while setting output properties
- fixed copyright notice
helm/uwobo/src/ocaml/uwobo_engine.ml
helm/uwobo/src/ocaml/uwobo_engine.mli