X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=inline;f=helm%2Fon-line%2Fhtml%2Fconfiguration.html;h=f183ed1183ae1fdc47a73c9c33f192351b37ea3b;hb=13fab17e3d3dee05df676985c065ae54a5766870;hp=3139d63caa48d7c328aa215447fce84c30933471;hpb=aacc5f566b60763bede71263cb9441b5b2fb04a1;p=helm.git diff --git a/helm/on-line/html/configuration.html b/helm/on-line/html/configuration.html index 3139d63ca..f183ed118 100644 --- a/helm/on-line/html/configuration.html +++ b/helm/on-line/html/configuration.html @@ -207,6 +207,34 @@ bottom of the page. +