]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 822aaae) | patch
* makefile improved
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 1 Jul 2005 16:47:33 +0000 (16:47 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 1 Jul 2005 16:47:33 +0000 (16:47 +0000)
commitb5241c153f390c130ee7cc8d4e732b57711e1ddc
tree18539b41d0825298da53745c5575105092a4937btree | snapshot
parent822aaaeb5bb49fb6547242e28a6f19f22bf5f105commit | diff
* makefile improved
* new target-schema: *.opt
helm/matita/library/Makefile diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.