X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=inline;f=helm%2Fwww%2Fmatita%2Fdocumentation.shtml;h=3fb20945541c0840efb28a7d97e6c286a18e4acf;hb=d000041898471a4337a5e1af0f14ef2434d542b8;hp=084df460f50d2d8da58128fcd29243c1f3a813ad;hpb=4c042b286cd7d2559738569b96769dd0263a9f6d;p=helm.git diff --git a/helm/www/matita/documentation.shtml b/helm/www/matita/documentation.shtml index 084df460f..3fb209455 100644 --- a/helm/www/matita/documentation.shtml +++ b/helm/www/matita/documentation.shtml @@ -31,24 +31,8 @@ matita/help/C/ folder.
-