X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fweb%2Fhome%2Fversions.tbl;h=1d88064b332a74e08312bb0769a170639cc45a55;hb=a145b5df4a86b3d5f8516a9c1cb76a62f6327151;hp=5b7189241bde0e3ee99fbec6c1aa33f8fbbb100a;hpb=f72807cb8834aa8991919e365b57d553e3674908;p=helm.git

diff --git a/helm/www/lambdadelta/web/home/versions.tbl b/helm/www/lambdadelta/web/home/versions.tbl
index 5b7189241..1d88064b3 100644
--- a/helm/www/lambdadelta/web/home/versions.tbl
+++ b/helm/www/lambdadelta/web/home/versions.tbl
@@ -6,6 +6,11 @@ table {
         "stage" "started" "announced" "released" "concluded"
         "references"
       ]
+   class "yellow"
+      [ @@("specification#v3" "Version 3") "\"basic_3\"" ""
+        "" "" "" "" ""
+        @@("documentation#ldJ3a" "J3a")
+      ]
    class "orange" {
       [ { @@("specification#v2" "Version 2") * }
         { "\"basic_2\"" * }