X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fweb%2Fhome%2Fversions.tbl;h=187dd1b990946ae48cd8d948535b79a57460677a;hb=2ec8ae0a49716b205bbf63568ee625ec1e9eb524;hp=fa16e06671b3ce3c29111ef0cb9a0608af14f811;hpb=dd731f05f181f45260a0c448cf995aa3d7adc1f2;p=helm.git

diff --git a/helm/www/lambdadelta/web/home/versions.tbl b/helm/www/lambdadelta/web/home/versions.tbl
index fa16e0667..187dd1b99 100644
--- a/helm/www/lambdadelta/web/home/versions.tbl
+++ b/helm/www/lambdadelta/web/home/versions.tbl
@@ -8,10 +8,13 @@ table {
         "references"
       ]
    class "yellow"
-      [ @@("html/specification#v3" "Version 3") "\"basic_3\""
-        "" ""
-        "" "" "" ""
-        @@("html/documentation#ldJ3a" "J3a")
+      [ { @@("html/specification#v3" "Version 3") *}
+        { "\"basic_3\"" * }
+        { [ "" ""
+            "" "" "" ""
+            @@("html/documentation#ldJ3a" "J3a")
+          ]
+        }
       ]
    class "orange" {
       [ { @@("html/specification#v2" "Version 2") * }