]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f6afd38) | patch
- removed thread stuff
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 17 Jan 2003 15:11:55 +0000 (15:11 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 17 Jan 2003 15:11:55 +0000 (15:11 +0000)
commit2b70b65cdfd44328898c16f350d351e586020b02
tree4d2257374cf3a3400a4a633bfbce62d4bb10443ctree | snapshot
parentf6afd384ab536a2380ae7a997cf8e30655e3bc1dcommit | diff
- removed thread stuff
- moved here http response facilities
- moved here usage string
- removed useless debugging functions
- removed useless threadSafe class
- fixed copyright notice
helm/uwobo/src/ocaml/uwobo_common.ml diff | blob | history
helm/uwobo/src/ocaml/uwobo_common.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.