]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 774c5e1) | patch
- matitadep: new option -t to list the unreferenced sources
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 9 Aug 2013 14:43:14 +0000 (14:43 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 9 Aug 2013 14:43:14 +0000 (14:43 +0000)
commita8c3c72dc1776997c1ce6deae88c9aa9abbf7766
tree3a99cde7d87ee5e06910da55f51da10a3e2cdf26tree | snapshot
parent774c5e125eb44693a5a760226713067c41baf09fcommit | diff
- matitadep: new option -t to list the unreferenced sources
- lambdadelta: Makefile update to use matitadep -t
               redundant dependecy removed in cl_weight
       test.ma: shows a bug in the disambiguation mechanism
matita/components/binaries/matitadep/matitadep.ml diff | blob | history
matita/matita/contribs/lambdadelta/Makefile diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/grammar/cl_weight.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/grammar/test.ma [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.