]> matita.cs.unibo.it Git - helm.git/commit
let-in on vvars added to mathql
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 15 Sep 2002 18:34:32 +0000 (18:34 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 15 Sep 2002 18:34:32 +0000 (18:34 +0000)
commite948a077c64bf1e1fb29cce626e04f2c93a5ba3c
treee6921e7f758910136233abc9e80b37167e0a6419
parent7646d66b5a68ad83611e19ac2634c86c16bc7d21
let-in on vvars added to mathql
helm/ocaml/mathql/Makefile
helm/ocaml/mathql/mQueryTParser.mly
helm/ocaml/mathql/mQueryUtil.ml
helm/ocaml/mathql/mQueryUtil.mli
helm/ocaml/mathql/mathQL.ml