]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 748cd8b) | patch
Some bugs fixed (and some still open) in recursive compilation of files:
authorAndrea Asperti <andrea.asperti@unibo.it>
Thu, 16 Dec 2010 11:51:30 +0000 (11:51 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Thu, 16 Dec 2010 11:51:30 +0000 (11:51 +0000)
commit2e17165ef9e63367cc290ad555145b4c22a4582b
tree4f73ed3c50bb230fa262df9fe5242275b33ec5d1tree | snapshot
parent748cd8bf9d30cf3fb07d7a4dde32e41b2dbfe5facommit | diff
Some bugs fixed (and some still open) in recursive compilation of files:
 a) matitac now takes again either a list of files to be compiled or
    nothing (to compile all files in the cwd)
 b) ...
matita/components/library/librarian.ml diff | blob | history
matita/components/library/librarian.mli diff | blob | history
matita/matita/matitaEngine.ml diff | blob | history
matita/matita/matitaEngine.mli diff | blob | history
matita/matita/matitac.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.