]> matita.cs.unibo.it Git - helm.git/commit
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
treee83bbbf5d6e90877886444a873f9916d2e2b2ba4
parent1acce08d9a3fa02ffd42a8981198bd06aab4c65d
added elp to distribution
helm/software/matita/Makefile