]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6d344cc) | patch
Matitaweb: test commit.
authormatitaweb <claudio.sacerdoticoen@unibo.it>
Fri, 30 Sep 2011 16:25:59 +0000 (16:25 +0000)
committermatitaweb <claudio.sacerdoticoen@unibo.it>
Fri, 30 Sep 2011 16:25:59 +0000 (16:25 +0000)
commit9a933efb5e01cf307245c35445ac26be556cfe36
tree56b571b6b76b35370a5c5e29f612af8659492b62tree | snapshot
parent6d344cc241a2456c82947413cc1c2f30c04cab37commit | diff
Matitaweb: test commit.
weblib/arithmetics/factorial.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.