]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/www/lambdadelta/web/home/versions.tbl
documentation update
[helm.git] / helm / www / lambdadelta / web / home / versions.tbl
index 5b7189241bde0e3ee99fbec6c1aa33f8fbbb100a..1d88064b332a74e08312bb0769a170639cc45a55 100644 (file)
@@ -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\"" * }