]> matita.cs.unibo.it Git - helm.git/commit
be more quiet (removed debugging prints)
authorAndrea Asperti <andrea.asperti@unibo.it>
Fri, 22 Oct 2004 12:21:32 +0000 (12:21 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Fri, 22 Oct 2004 12:21:32 +0000 (12:21 +0000)
commitc5551e809d4bd1a635a9e91c77d5ab77c5afef44
treee9968465a532b2eff9de7c28c34a0676f618aa8f
parent3e30c3516dbb98a0629eb0205085f3b79abe1469
be more quiet (removed debugging prints)
helm/ocaml/mathql_generator/cGSearchPattern.ml
helm/ocaml/mathql_generator/mQueryGenerator.ml