]> matita.cs.unibo.it Git - helm.git/commit
Finished
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 11 Jan 2010 16:59:40 +0000 (16:59 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 11 Jan 2010 16:59:40 +0000 (16:59 +0000)
commit3bd3d3ab850c919b64e1eafc65a8cbd5499fd3b8
tree062ec0f32bb0e434185b83ddbfbe10f3b9adb259
parent550489243bb7bbd995ce3484cbb3a3711371b949
Finished
helm/software/matita/matita.lang