]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c450c3c) | patch
0.5.1
authorEnrico Tassi <enrico.tassi@inria.fr>
Wed, 28 May 2008 10:11:11 +0000 (10:11 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Wed, 28 May 2008 10:11:11 +0000 (10:11 +0000)
commitc51c5b1e6e002614f8f1fd79ddf94f706ef69cd5
treeec74ca26f5254d14ef3c63e800dfa3801bdc1993tree | snapshot
parentc450c3c9c829a8bd436732c939511731558d292dcommit | diff
0.5.1
helm/www/matita/DEBIAN/Makefile diff | blob | history
helm/www/matita/FILES/matita_0.5.1.orig.tar.gz [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.