]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1acce08) | patch
added elp to distribution
authorEnrico Tassi <enrico.tassi@inria.fr>
Tue, 14 Mar 2006 10:43:59 +0000 (10:43 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Tue, 14 Mar 2006 10:43:59 +0000 (10:43 +0000)
commit87672d83e4222bd60bdad11a830802e7ef077571
treee83bbbf5d6e90877886444a873f9916d2e2b2ba4tree | snapshot
parent1acce08d9a3fa02ffd42a8981198bd06aab4c65dcommit | diff
added elp to distribution
helm/software/matita/Makefile diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.