]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3030093) | patch
manual correction to tutorial/chapter2.ma
authormatitaweb <claudio.sacerdoticoen@unibo.it>
Tue, 13 Mar 2012 15:12:07 +0000 (15:12 +0000)
committermatitaweb <claudio.sacerdoticoen@unibo.it>
Tue, 13 Mar 2012 15:12:07 +0000 (15:12 +0000)
commit2e5d77caec4504b736af370743df2e460e9590f3
tree1375f337393cacfd0e2895a5f2d83f713ea379ddtree | snapshot
parent30300931770211efb6bf03785f98b4ff21353c40commit | diff
manual correction to tutorial/chapter2.ma
weblib/tutorial/chapter2.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.