X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fhelp%2FC%2Fsec_gettingstarted.xml;h=8680f4b4371eaf8118950eaa322cb9afd1e9acd7;hb=aebd5af5c7d3e422813159d81fde05b6a9778765;hp=b9a9c34d927be6406db6c9b5ab34f6b381e667df;hpb=f7e40489c0bf57f6f4a14ef8d426b45d7103de0f;p=helm.git diff --git a/helm/software/matita/help/C/sec_gettingstarted.xml b/helm/software/matita/help/C/sec_gettingstarted.xml index b9a9c34d9..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.