]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e8e18e3) | patch
Chapter 5 = re.ma ; chapter 6 = moves.ma
authormatitaweb <claudio.sacerdoticoen@unibo.it>
Tue, 13 Dec 2011 11:45:17 +0000 (11:45 +0000)
committermatitaweb <claudio.sacerdoticoen@unibo.it>
Tue, 13 Dec 2011 11:45:17 +0000 (11:45 +0000)
commit05bcc10ec41117f33d2eb6a120df4024ae14b185
tree79689c1de26dea3671510a67605612b097ec148ctree | snapshot
parente8e18e32e06c0406c12a873a01eb489a35b828c8commit | diff
Chapter 5 = re.ma ; chapter 6 = moves.ma
weblib/tutorial/chapter5.ma [new file with mode: 0644] blob
weblib/tutorial/chapter6.ma [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.