]> matita.cs.unibo.it Git - helm.git/commit
Make does not even try to build files that would be compiled in read-only
authorEnrico Tassi <enrico.tassi@inria.fr>
Fri, 11 Jan 2008 19:05:05 +0000 (19:05 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Fri, 11 Jan 2008 19:05:05 +0000 (19:05 +0000)
commitaa665248454b1dcaf8cfe622dc1a159602119708
tree7be4bcb7626dda6155e89c37fd341f5a41a42f81
parent39293015293690528de4243d8cb86434f48b4b8c
Make does not even try to build files that would be compiled in read-only
baseuris
helm/software/components/library/librarian.ml
helm/software/components/library/librarian.mli
helm/software/matita/Makefile
helm/software/matita/matitacLib.ml