]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 83a8c54) | patch
I'll talk again with ferruccio, for the moment this is the right
authorEnrico Tassi <enrico.tassi@inria.fr>
Fri, 11 Jan 2008 16:13:49 +0000 (16:13 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Fri, 11 Jan 2008 16:13:49 +0000 (16:13 +0000)
commit39293015293690528de4243d8cb86434f48b4b8c
tree7c193f638e90072abed4c18f58adba5192fa4025tree | snapshot
parent83a8c54521f971aabd5a840a62426cfd00c9c60ccommit | diff
I'll talk again with ferruccio, for the moment this is the right
way to allow every user that does and svn co to compile everithing.
helm/software/matita/matita.conf.xml.in diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.