]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f648fbe) | patch
fixed path for matitadep
authorEnrico Tassi <enrico.tassi@inria.fr>
Tue, 12 Feb 2008 12:09:41 +0000 (12:09 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Tue, 12 Feb 2008 12:09:41 +0000 (12:09 +0000)
commit783fbc6eb42d5db260d93d8d213a7d5c035e99e3
treeefd91592fd46a4d2a6d188392a3a32709d3bc161tree | snapshot
parentf648fbec41b061c019361dc45ddd76c542853b09commit | diff
fixed path for matitadep
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/Makefile diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.