]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 92e6d4b) | patch
Added new target linkonly to link matita without re-compiling anything.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 20 Sep 2006 14:37:19 +0000 (14:37 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 20 Sep 2006 14:37:19 +0000 (14:37 +0000)
commit78a251dfe501143c2569820cc2a0ec7e05bd5460
tree88beb2164aaab7587f863603cb6d794b0b7eba4ftree | snapshot
parent92e6d4bc77a154dde1df3a25b0004d8fd46cc8b3commit | diff
Added new target linkonly to link matita without re-compiling anything.
Useful for rapid debugging in bytecode.
helm/software/matita/Makefile diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.