]> matita.cs.unibo.it Git - helm.git/commitdiff
...
authorEnrico Tassi <enrico.tassi@inria.fr>
Mon, 28 May 2007 08:49:18 +0000 (08:49 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Mon, 28 May 2007 08:49:18 +0000 (08:49 +0000)
helm/www/matita/PAPERS/matita.ps.gz [deleted file]
helm/www/matita/PAPERS/matita_types.pdf [new file with mode: 0644]
helm/www/matita/PAPERS/matita_types.ps.gz [deleted file]

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