]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/http_getter/http_getter_const.ml
split into two major parts:
[helm.git] / helm / http_getter / http_getter_const.ml
index eefd7c865e9d8d1544919d81d6e0b0d5d67f9374..a4eac83e5a36f5aed2bf75adf94c0e515d746e05 100644 (file)
@@ -1,5 +1,5 @@
 (*
- * Copyright (C) 2003:
+ * Copyright (C) 2003-2004:
  *    Stefano Zacchiroli <zack@cs.unibo.it>
  *    for the HELM Team http://helm.cs.unibo.it/
  *
@@ -28,7 +28,7 @@
 
 open Printf;;
 
-let version = "0.2.1"
+let version = "0.3.0"
 let conffile = "http_getter.conf.xml"
 
   (* TODO provide a better usage string *)