]> matita.cs.unibo.it Git - helm.git/commit
specified type for Http_types.request objects
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 10 Jan 2003 09:18:44 +0000 (09:18 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 10 Jan 2003 09:18:44 +0000 (09:18 +0000)
commitd28d8fa9adb475bff9964a815627f9cad52446b2
treedb03b7ea49a01d763514ce68b8b20ec92a33c142
parent285f5b4454e34023e57b21d4b6b908979aa79a69
specified type for Http_types.request objects
helm/uwobo/src/ocaml/uwobo.ml