From: Enrico Tassi Date: Wed, 14 Jun 2006 14:14:11 +0000 (+0000) Subject: relocation of developments.png X-Git-Tag: 0.4.95@7852~1326 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=c0d14793f9f6a19d7ccb35daec678dffd22af473;p=helm.git relocation of developments.png --- diff --git a/matita/help/C/sec_gettingstarted.xml b/matita/help/C/sec_gettingstarted.xml index b067e21ec..b9a9c34d9 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.