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