]> matita.cs.unibo.it Git - helm.git/commit
now mathql interpreter use helm registry
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 18 Feb 2004 13:17:52 +0000 (13:17 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 18 Feb 2004 13:17:52 +0000 (13:17 +0000)
commitca7f3849e34817154c6cdac0754409bbbb5b7ba7
tree76429ce55ca4570a259baf4cf58c1659c4159c1e
parent836a20ea87e826b9428bee85543281235975c1ed
now mathql interpreter use helm registry
helm/ocaml/mathql_interpreter/mQIConn.ml