From: Enrico Tassi Date: Mon, 28 May 2007 08:49:18 +0000 (+0000) Subject: ... X-Git-Tag: make_still_working~6283 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=660cf71edac4c61b1466f412ee15842ead2b04ff;p=helm.git ... --- diff --git a/helm/www/matita/PAPERS/matita.ps.gz b/helm/www/matita/PAPERS/matita.ps.gz deleted file mode 100644 index 20e4517e7..000000000 Binary files a/helm/www/matita/PAPERS/matita.ps.gz and /dev/null differ diff --git a/helm/www/matita/PAPERS/matita_types.pdf b/helm/www/matita/PAPERS/matita_types.pdf new file mode 100644 index 000000000..20c3e544a Binary files /dev/null and b/helm/www/matita/PAPERS/matita_types.pdf differ diff --git a/helm/www/matita/PAPERS/matita_types.ps.gz b/helm/www/matita/PAPERS/matita_types.ps.gz deleted file mode 100644 index a03477b7a..000000000 Binary files a/helm/www/matita/PAPERS/matita_types.ps.gz and /dev/null differ