From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Wed, 14 Jun 2006 14:08:28 +0000 (+0000)
Subject: adding the developments screenshot
X-Git-Tag: 0.4.95@7852~1327
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=ac97d2ee5a0e23837ee0c479772ac10866a95aaa;p=helm.git

adding the developments screenshot
---

diff --git a/matita/help/C/figures/developments.png b/matita/help/C/figures/developments.png
new file mode 100644
index 000000000..f72458940
Binary files /dev/null and b/matita/help/C/figures/developments.png differ