]> 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)
commitda16c76907f567b9aa4d3d026f6ab309006b3d86
tree10200df6924209ebb593084052adc21b8b7e9e9d
parent03e2a78decd364cb401db8033b7e9472abfdcfd4
now mathql interpreter use helm registry
helm/ocaml/mathql_interpreter/Makefile