X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Fmatita%2Fdocumentation.shtml;h=c4fbeace66db26defd69238417af521e42e366e7;hb=426005acf6fb05116de5bae20591eefe55a4df00;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: