X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fwww%2Fmatita%2Fdocumentation.shtml;h=c4fbeace66db26defd69238417af521e42e366e7;hb=8ed18544e1591dd3068e2d9095b05d0c4349209c;hp=e820186a3dffe38112311b8ad20260189904fc54;hpb=6c7be6bbe4e645f5ab99e82d322e1a70503781cb;p=helm.git diff --git a/helm/www/matita/documentation.shtml b/helm/www/matita/documentation.shtml index e820186a3..c4fbeace6 100644 --- a/helm/www/matita/documentation.shtml +++ b/helm/www/matita/documentation.shtml @@ -39,7 +39,7 @@ XHTML format: