Added a sort function to decide the order of theorems to try in the tactic "auto".

[helm.git] / helm / DEVEL / ocaml-http / debian / changelog

diff --git a/helm/DEVEL/ocaml-http/debian/changelog b/helm/DEVEL/ocaml-http/debian/changelog
index 79917ba3d55d4fe2ac31188b5a10800b8cc8c512..76162013313a84949537c9dce1b081d7af4e7993 100644 (file)
--- a/helm/DEVEL/ocaml-http/debian/changelog
+++ b/helm/DEVEL/ocaml-http/debian/changelog
@@ -1,3 +1,12 @@
+ocaml-http (0.0.9) unstable; urgency=low
+
+  * Added support for HTTP Basic authentication
+  * Restyled Http_daemon API so that correct invocations of them are
+    statically typechecked
+  * Added support for HEAD requests to Http_client
+
+ -- Stefano Zacchiroli <zack@debian.org>  Tue, 16 Dec 2003 18:01:41 +0100
+
 ocaml-http (0.0.8) unstable; urgency=low
 
   * Added support for "ancient" HTTP requests which specify no HTTP
@@ -9,6 +18,7 @@ ocaml-http (0.0.8) unstable; urgency=low
   * Shutdown server socket on abnormal exit (actually: uncaught
     exceptions or SIGTERM received)
   * Added a lot of ocamldoc documentation
+  * Added minimal HTTP 1.0/1.1 client support
 
  -- Stefano Zacchiroli <zack@debian.org>  Fri, 10 Jan 2003 10:36:53 +0100