]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d7e217e) | 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)
commitbc9899a797f5d6e8e37a76923172d18c774e7573
tree7706fe3787d6be0232301c62ca6d7a540c57dde9tree | snapshot
parentd7e217ef4d310903c23dd56a5943208edfeb9f20commit | 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).
helm/software/matita/matitamakeLib.ml diff | blob | history
helm/software/matita/template_makefile_devel.in diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.