]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4527c3c) | patch
added SRC parameter to makefile (the one placed in the root of a development) to...
authorEnrico Tassi <enrico.tassi@inria.fr>
Tue, 26 Sep 2006 16:06:54 +0000 (16:06 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Tue, 26 Sep 2006 16:06:54 +0000 (16:06 +0000)
commit3811995e8c58a431ee03b75a7f30a760df327519
tree628e88886e012eba1c86b6e9d3a7cd3b63abdea3tree | snapshot
parent4527c3cd00ac1de7e248c4f90e7d826ad572ccc0commit | diff
added SRC parameter to makefile (the one placed in the root of a development) to specify the set of files to handle (if omitted all files reachable from the root dir of the development are used).
matita/matitamakeLib.ml diff | blob | history
matita/template_makefile_devel.in diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.