]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 74a4b5a) | patch
- changed API so that respond_* are statically type checked for correct
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 20 May 2004 15:44:43 +0000 (15:44 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 20 May 2004 15:44:43 +0000 (15:44 +0000)
commit65b77b4e2d08e882b3e0212674a04520527267bb
tree8e4cb36ed0b0893385410877194c67db365166fbtree | snapshot
parent74a4b5a985f8ee0887e82fd74884204d4af149fccommit | diff
- changed API so that respond_* are statically type checked for correct
  parameter instantiation
- restyled a lot of code
helm/DEVEL/ocaml-http/http_daemon.ml diff | blob | history
helm/DEVEL/ocaml-http/http_types.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.