]> matita.cs.unibo.it Git - helm.git/commit
patched
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 13 Feb 2004 15:39:53 +0000 (15:39 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 13 Feb 2004 15:39:53 +0000 (15:39 +0000)
commit33d4551ce09262e3a4d00d14e0428ee94367bf91
tree6fc6fdffd8c293d25e3f532ffb459d2a38616890
parentb029556cbcecb852dfc9cf25801f3dcc0bb762bb
patched
helm/mathql_test/Makefile
helm/mathql_test/mqgtop.ml