]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 147770d) | 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)
commit9c3ceab3da5ebe2271d9d6be43e6e23c190c2786
tree526b700ac57530a7a18ea5fbe7544392fb5ed6betree | snapshot
parent147770d4605b8163f63331f82e800c19a2021d46commit | diff
Added new target linkonly to link matita without re-compiling anything.
Useful for rapid debugging in bytecode.
matita/Makefile diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.