]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 65aa5d4) | patch
0.5.3
authorEnrico Tassi <enrico.tassi@inria.fr>
Wed, 23 Jul 2008 21:48:36 +0000 (21:48 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Wed, 23 Jul 2008 21:48:36 +0000 (21:48 +0000)
commit37cf813c184d46959683ce5b396e4ff9d7dd7c42
tree4c9e3d6bbe4cb026e422208ba97a277e5827dac0tree | snapshot
parent65aa5d46b240da7b91e57fc74890d8544aa479c3commit | diff
0.5.3
helm/www/matita/FILES/matita_0.5.3.orig.tar.gz [new file with mode: 0644] blob
helm/www/matita/download.shtml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.