]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5b05d94) | patch
check removed
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 23 Dec 2014 11:58:18 +0000 (11:58 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 23 Dec 2014 11:58:18 +0000 (11:58 +0000)
commit841ed2d52ac7276350bffe6bc29df1d762686c17
treea37e17a4cb8ffde2116114fa21d3be41c7292fe0tree | snapshot
parent5b05d943dc8ebfe10e8932795f7f7aa8ef0b4ebccommit | diff
check removed
matita/matita/lib/tutorial/chapter2.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.