Matita Documentation
-User Manual
+User Manual
The Matita User Manual is accessible from Matita itself via the GNOME Help
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fwww%2Fmatita%2Fdocumentation.shtml;h=e2b0f4e3f4a5cfbb2ab99fb66c3ba41716901f89;hb=62f814b9b8c255abbdfcbf12d96f3a3b4e74d477;hp=6586fc714150193964a8f6941020b06eae4f9e83;hpb=a23193052609e07ce850716660f5db020164af9d;p=helm.git diff --git a/helm/www/matita/documentation.shtml b/helm/www/matita/documentation.shtml index 6586fc714..e2b0f4e3f 100644 --- a/helm/www/matita/documentation.shtml +++ b/helm/www/matita/documentation.shtml @@ -10,7 +10,7 @@
The Matita User Manual is accessible from Matita itself via the GNOME Help