X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fhelp%2FC%2Fsec_gettingstarted.xml;h=8680f4b4371eaf8118950eaa322cb9afd1e9acd7;hb=c18c9b640779d96fea7d43d6bc4562e21b5112b3;hp=b067e21ec409f004deffeafc2b4aa001a4a63778;hpb=cce6f6dc86e2891f87b2023f35ccc5d73a10a5dd;p=helm.git diff --git a/helm/software/matita/help/C/sec_gettingstarted.xml b/helm/software/matita/help/C/sec_gettingstarted.xml index b067e21ec..8680f4b43 100644 --- a/helm/software/matita/help/C/sec_gettingstarted.xml +++ b/helm/software/matita/help/C/sec_gettingstarted.xml @@ -110,7 +110,7 @@
The Developments window - + Screenshot of the Developments window.