From: Enrico Tassi Date: Wed, 14 Jun 2006 14:08:28 +0000 (+0000) Subject: adding the developments screenshot X-Git-Tag: make_still_working~7194 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=4be5ed97ca18febdc53f538360d30ec8100ba9c3;p=helm.git adding the developments screenshot --- diff --git a/helm/software/matita/help/C/figures/developments.png b/helm/software/matita/help/C/figures/developments.png new file mode 100644 index 000000000..f72458940 Binary files /dev/null and b/helm/software/matita/help/C/figures/developments.png differ