]> 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)
commitf7fe230ee39d765ec341af32a719eb564ce9a937
tree7074907ad4247065b54154efa5e28f701dbabc98
parent6e4e1c55cb1d3d5f8ef6d607263647bf4e789458
ported to the latest ocaml-http API
daemons/uwobo/uwobo.ml