X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fhome.html;h=b4c9a726d6029f0538ed0dca22360412a21d806d;hb=4e75ab41fb7a0a9a4f66cb777a791ce3950c57ce;hp=c58614f4c48b42029132eba1c59e08a51ac0aeef;hpb=56dd0e9f60e0dabfb587b014755fd4dad27960bb;p=helm.git diff --git a/helm/www/lambdadelta/home.html b/helm/www/lambdadelta/home.html index c58614f4c..b4c9a726d 100644 --- a/helm/www/lambdadelta/home.html +++ b/helm/www/lambdadelta/home.html @@ -1,99 +1,295 @@ -
+ home + | ++ news + | ++ specification + | +
+ + |
+
+ + |
+ + documentation + | ++ implementation + | +
+ + |
+
+ foreword + | ++ milestones + | ++ version 2 + | +(background - core - applications) | +
+ + |
+ + version 2 + | ++ helena + | ++ Open Symbolic Notation (OSN) + | +
+ citations + | ++ visibility + | ++ version 1 + | +(background - core) | +(static HELM directory) | ++ version 1 + | ++ library + | +(static LDDL directory) | +