]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 97adaa2) | patch
local modifications
authorEnrico Tassi <enrico.tassi@inria.fr>
Mon, 28 May 2007 08:13:23 +0000 (08:13 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Mon, 28 May 2007 08:13:23 +0000 (08:13 +0000)
commit4c042b286cd7d2559738569b96769dd0263a9f6d
tree16075807c55b94c56560917337406eb864dcde7btree | snapshot
parent97adaa2f0bd4fb57c2633b19746250eb99e5953bcommit | diff
local modifications
helm/www/matita/docs/manual/figures/developments.png [new file with mode: 0644] blob
helm/www/matita/documentation.shtml diff | blob | history
helm/www/matita/images/matita-library.png [new file with mode: 0644] blob
helm/www/matita/matita.shtml diff | blob | history
helm/www/matita/matita_it.shtml diff | blob | history
helm/www/matita/news.shtml diff | blob | history
helm/www/matita/style.css diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.