]> matita.cs.unibo.it Git - helm.git/blob - daemons/http_getter/NEWS
1. is_meta_closed should be applied only to terms on which a substitution
[helm.git] / daemons / http_getter / NEWS
1
2 09/02/2004
3
4   Split getter in backend and frontend. Frontend is the only remaining file here
5   (namely main.ml). Backend is shipped in the helm-http_getter library (look in
6   the HELM cvs, dir ocaml/getter/).
7   -- Zack <zack@cs.unibo.it>
8
9 08/01/2003
10
11   Fully OCaml HTTP Getter is now available: go and burn the Perl implementation!
12   -- Zack <zack@cs.unibo.it>
13