]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 73867ed) | patch
missing dependency to mathql added ;-) unlabeled-1.3.2
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 10 Jun 2003 15:16:09 +0000 (15:16 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 10 Jun 2003 15:16:09 +0000 (15:16 +0000)
commit177914cec6d11aedb05d704535b40c7a9ce9baf7
treee3428ea96471235dfc7fc477216a679a3bef3e5dtree | snapshot
parent73867ed95756330f6c72090a027dd833bd61be74commit | diff
missing dependency to mathql added ;-)
helm/ocaml/META.helm-mathql_interpreter.src diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.