]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 15e240c) | patch
Baseuri of applys.ma fixed.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 18 Jul 2006 13:58:13 +0000 (13:58 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 18 Jul 2006 13:58:13 +0000 (13:58 +0000)
commitd58cc529245e2d7ced43044947313244f190e054
tree071f866a1dfabd1bad9abdaf05b21bb0ae34b1f8tree | snapshot
parent15e240ca94dbca536121c9da942851fcaae951f9commit | diff
Baseuri of applys.ma fixed.
matita/tests/applys.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.