]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 718502f) | patch
Matitaweb file flag test.
authormatitaweb <claudio.sacerdoticoen@unibo.it>
Mon, 3 Oct 2011 09:32:48 +0000 (09:32 +0000)
committermatitaweb <claudio.sacerdoticoen@unibo.it>
Mon, 3 Oct 2011 09:32:48 +0000 (09:32 +0000)
commit6bd1e58d8e28105ca40e122e363337137047cdcb
tree5d1d1fab61fcf569206349022187c279fd614a3ftree | snapshot
parent718502fc6c07233d2c6940d95d39419c3a14cfa1commit | diff
Matitaweb file flag test.
weblib/arithmetics/factorial.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.