]> matita.cs.unibo.it Git - helm.git/commit
...
authorEnrico Tassi <enrico.tassi@inria.fr>
Thu, 15 Nov 2007 15:22:23 +0000 (15:22 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Thu, 15 Nov 2007 15:22:23 +0000 (15:22 +0000)
commitb71d8cefeb2c957eb4f724d96a270e33a2327d1c
treee9a09579ac1da56ed3eafc61dcf33bc1a7461bf9
parent159d8bc4b82e365934c25c9653abe29b6b6021e0
...
helm/software/pkg-matita/trunk/debian/changelog
helm/software/pkg-matita/trunk/debian/control
helm/software/pkg-matita/trunk/debian/rules