]> matita.cs.unibo.it Git - helm.git/commit
patched
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 14 Apr 2004 13:45:41 +0000 (13:45 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 14 Apr 2004 13:45:41 +0000 (13:45 +0000)
commit04cc990d9452b85535c5dc93655078d9fb19b14c
treecdaf88b94b036d8f647a9a72946586ffe00c1616
parent06b6527a689f994864c13f0ffe401a5b8c052002
patched
helm/ocaml/mathql_generator/mQueryGenerator.ml