...

diff --git a/helm/www/matita/PAPERS/matita.ps.gz b/helm/www/matita/PAPERS/matita.ps.gz
deleted file mode 100644 (file)
index 20e4517..0000000
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 (file)
index 0000000..20c3e54
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 (file)
index a03477b..0000000
Binary files a/helm/www/matita/PAPERS/matita_types.ps.gz and /dev/null differ