]> matita.cs.unibo.it Git - helm.git/commit
commit by user mkmluser
authormatitaweb <claudio.sacerdoticoen@unibo.it>
Tue, 10 Jul 2012 14:33:06 +0000 (14:33 +0000)
committermatitaweb <claudio.sacerdoticoen@unibo.it>
Tue, 10 Jul 2012 14:33:06 +0000 (14:33 +0000)
commitbcdba61431ead40a18a6ac04285cd6513d491287
tree667bb54c3f2fa454443bda8d454a0fb85ba791c8
parent76e29b7144151db29477a28a5cbca78d00792991
commit by user mkmluser
weblib/cicm2012/part2.ma
weblib/commit_test2.ma