...

diff --git a/helm/www/matita/PAPERS/hopr.pdf b/helm/www/matita/PAPERS/hopr.pdf
new file mode 100644 (file)
index 0000000..40fb659
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 (file)
index b25c8b7..0000000
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 (file)
index 0000000..ef1e3bd
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 (file)
index 0000000..c4c8693
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 (file)
index 0000000..b9a7294
Binary files /dev/null and b/helm/www/matita/PAPERS/whelp.pdf differ