]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4c042b2) | patch
more local modifications
authorEnrico Tassi <enrico.tassi@inria.fr>
Mon, 28 May 2007 08:18:27 +0000 (08:18 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Mon, 28 May 2007 08:18:27 +0000 (08:18 +0000)
commite999e3e921dd6a7d2ef78e458bfbb26bdeaa4e7a
treeedb5c90f1bdfc94964a331dda39aa5c225aeb813tree | snapshot
parent4c042b286cd7d2559738569b96769dd0263a9f6dcommit | diff
more local modifications
helm/www/matita/PAPERS/hopr.ps.gz [new file with mode: 0644] blob
helm/www/matita/PAPERS/matita.ps.gz [new file with mode: 0644] blob
helm/www/matita/PAPERS/matita_types.ps.gz [new file with mode: 0644] blob
helm/www/matita/library.shtml [new file with mode: 0644] blob
helm/www/matita/menubar_it.shtml [new file with mode: 0644] blob
helm/www/matita/news_it.shtml [new file with mode: 0644] blob
helm/www/matita/sources/matita-0.1.0.tar.gz [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.