From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Mon, 28 May 2007 08:46:11 +0000 (+0000)
Subject: ...
X-Git-Tag: make_still_working~6284
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=789ed15636f9b2d1ca1f794eda2a1b70160fcfcc;p=helm.git

...
---

diff --git a/helm/www/matita/PAPERS/hopr.pdf b/helm/www/matita/PAPERS/hopr.pdf
new file mode 100644
index 000000000..40fb659a1
Binary files /dev/null and b/helm/www/matita/PAPERS/hopr.pdf differ
diff --git a/helm/www/matita/PAPERS/hopr.ps.gz b/helm/www/matita/PAPERS/hopr.ps.gz
deleted file mode 100644
index b25c8b7d9..000000000
Binary files a/helm/www/matita/PAPERS/hopr.ps.gz and /dev/null differ
diff --git a/helm/www/matita/PAPERS/matita.pdf b/helm/www/matita/PAPERS/matita.pdf
new file mode 100644
index 000000000..ef1e3bd38
Binary files /dev/null and b/helm/www/matita/PAPERS/matita.pdf differ
diff --git a/helm/www/matita/PAPERS/tinycals.pdf b/helm/www/matita/PAPERS/tinycals.pdf
new file mode 100644
index 000000000..c4c86931e
Binary files /dev/null and b/helm/www/matita/PAPERS/tinycals.pdf differ
diff --git a/helm/www/matita/PAPERS/whelp.pdf b/helm/www/matita/PAPERS/whelp.pdf
new file mode 100644
index 000000000..b9a7294a2
Binary files /dev/null and b/helm/www/matita/PAPERS/whelp.pdf differ