]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f5e94b0) | patch
matitaclean is necessary!
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 1 Jul 2005 17:05:23 +0000 (17:05 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 1 Jul 2005 17:05:23 +0000 (17:05 +0000)
commit45a26f2d04bc86b596748187091668bbdb5f810d
tree077f93f7929ba14e0489a7db5261c7c934ef4d6dtree | snapshot
parentf5e94b0339a5dbb52555720c8bbf8bd79baaf6cacommit | diff
matitaclean is necessary!
However, we need a fast ls method for this. Waiting for Zack's new getter...
helm/matita/library/Makefile diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.