Matitaweb: layout change in the matitaweb inteface, in order to allow better

[helm.git] / helm / software / lambda-delta / src / toplevel / top.ml

diff --git a/helm/software/lambda-delta/src/toplevel/top.ml b/helm/software/lambda-delta/src/toplevel/top.ml
index aad48387ebd1cda137b28399810e8ef9f6fc6016..d0476f78ac85e9d2cf7144a0112dfe932ec5ff17 100644 (file)
--- a/helm/software/lambda-delta/src/toplevel/top.ml
+++ b/helm/software/lambda-delta/src/toplevel/top.ml
@@ -261,7 +261,7 @@ let process st name =
 
 let main =
 try 
-   let version_string = "Helena 0.8.1 M - November 2010" in
+   let version_string = "Helena 0.8.2 M - January 2011" in
    let print_version () = L.warn (version_string ^ "\n"); exit 0 in
    let set_hierarchy s = 
       if H.set_graph s then () else