]> matita.cs.unibo.it Git - helm.git/commit
ported to the latest ocaml-http API
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 30 May 2006 08:04:50 +0000 (08:04 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 30 May 2006 08:04:50 +0000 (08:04 +0000)
commite90493d6e2e17bb1cb4edb498b24ccdd3b597b86
tree6b6c8d20a6fce6f60fe640a4c4e82b9b154306ad
parentc08d7e9acd73079615999a6a42314348743cfd7f
ported to the latest ocaml-http API
helm/software/daemons/uwobo/uwobo.ml