]> matita.cs.unibo.it Git - helm.git/commit
new mathql interpreter unlabeled-1.7.2
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 10 Sep 2002 14:14:03 +0000 (14:14 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 10 Sep 2002 14:14:03 +0000 (14:14 +0000)
commit52bf79cb7744fba507ed24053ff6c74d4759ab81
tree6c7c53e84c2166059cb66aeab218658ed5214937
parentf84d947df887de2b0bc94f11458d14c0d1595394
new mathql interpreter
helm/ocaml/mathql_interpreter/.depend
helm/ocaml/mathql_interpreter/Makefile