]> matita.cs.unibo.it Git - helm.git/history - helm/uwobo/src/ocaml/uwobo.ml
made executable again
[helm.git] / helm / uwobo / src / ocaml / uwobo.ml
2003-03-12 Stefano Zacchirolimoved uwobo sources to the root uwobo directory
2003-03-12 Stefano Zacchiroliremoved an ancient debugging message
2003-01-17 Stefano Zacchirolichanged log file permission to 0o640
2003-01-17 Stefano Zacchirolikill HTTP child on exit
2003-01-17 Stefano Zacchirolicatch SIGTERM and log a "bye" message
2003-01-17 Stefano Zacchiroli- bugfix: display exit message only when uwobo master...
2003-01-17 Stefano ZacchiroliMAJOR CHANGES:
2003-01-15 Stefano Zacchiroli- disabled OCaml HTTP debugging
2003-01-10 Stefano Zacchirolispecified type for Http_types.request objects
2003-01-10 Stefano Zacchiroli- fixed typo: use Param_not_found exception from Http_types
2002-12-02 Stefano Zacchiroli- unset http_proxy to avoid libxslt related problems
2002-12-02 Stefano Zacchiroli- added 2 TODO items
2002-12-02 Stefano Zacchiroli- written help message
2002-12-01 Stefano Zacchiroli- bugfix (or hack, as you wish :-) for recursive invoca...
2002-11-29 Stefano Zacchirolisnapshot Fri, 29 Nov 2002 17:17:46 +0100 zack
2002-11-29 Stefano Zacchirolisnapshot Fri, 29 Nov 2002 12:38:23 +0100 zack
2002-11-27 Stefano Zacchirolisnapshot Wed, 27 Nov 2002 18:10:57 +0100
2002-11-27 Stefano Zacchirolisnapshot Wed, 27 Nov 2002 14:47:14 +0100
2002-11-27 Stefano Zacchirolisnapshot Wed, 27 Nov 2002 02:45:45 +0100
2002-11-26 Stefano Zacchirolicvs snapshot Tue, 26 Nov 2002 18:41:34 +0100
2002-11-26 Stefano Zacchiroliuwobo ocaml daily snapshot: Tue, 26 Nov 2002 14:26...