X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fsoftware%2Flambda-delta%2Fsrc%2Ftoplevel%2Ftop.ml;fp=helm%2Fsoftware%2Flambda-delta%2Fsrc%2Ftoplevel%2Ftop.ml;h=00e443388b12ddf538e942e93c6f2714c40d3863;hb=651d745df2454a9e232aff3c9d8bf3e77653936d;hp=aad48387ebd1cda137b28399810e8ef9f6fc6016;hpb=fb6fee82bb9172e15b1a7bc7e20641627f593fcc;p=helm.git

diff --git a/helm/software/lambda-delta/src/toplevel/top.ml b/helm/software/lambda-delta/src/toplevel/top.ml
index aad48387e..00e443388 100644
--- 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 - December 2010" in
    let print_version () = L.warn (version_string ^ "\n"); exit 0 in
    let set_hierarchy s = 
       if H.set_graph s then () else