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