]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 14a8276) | patch
- matitac: now directories are allowed as command line arguments
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 4 Feb 2015 16:55:03 +0000 (16:55 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 4 Feb 2015 16:55:03 +0000 (16:55 +0000)
commit538c5526a6b3c3af44f92c9cc67d82f28995da96
tree6ec1fcca9cc9436af3d9d061e5ff921e533de2f1tree | snapshot
parent14a8276e6d877c2281a1fda452ed3e4c150f5d39commit | diff
- matitac: now directories are allowed as command line arguments
           all .ma files inside these directories are compiled
- basic_1: commit os sections tlt iso
matita/matita/contribs/lambdadelta/basic_1/iso/defs.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_1/iso/fwd.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_1/iso/props.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_1/tlt/defs.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_1/tlt/fwd.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_1/tlt/props.ma diff | blob | history
matita/matita/matitac.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.