X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fwww%2Flambdadelta%2Fdocumentation.html;h=6c68259984658f24a2021c7a1360921b3563bb99;hb=65e6209e0758832835ba8d14304a1548d059a634;hp=fc3e24bc8caf225a3b4948c339acf43f9d8470ea;hpb=6864d67d5a0e5950a4d5f744866e89215e08ace0;p=helm.git diff --git a/helm/www/lambdadelta/documentation.html b/helm/www/lambdadelta/documentation.html index fc3e24bc8..6c6825998 100644 --- a/helm/www/lambdadelta/documentation.html +++ b/helm/www/lambdadelta/documentation.html @@ -110,7 +110,7 @@ lambdadelta.bib, view lambdadelta.txt - (revised 2015-09). + (revised 2017-09).