]> matita.cs.unibo.it Git - helm.git/commit
- "grammar" component updated to new syntax ...
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 26 Nov 2011 13:15:24 +0000 (13:15 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 26 Nov 2011 13:15:24 +0000 (13:15 +0000)
commit18ac3a120a3887b144c1d0e13d64d6e1c2d10d93
tree10627537b798408423e38106d0d9984b34ec2b5f
parenteac748dd6d912e84b3c78e682f9e40d90fb10acb
- "grammar" component updated to new syntax ...
- notation for lthin
- bugfix in replace.sh
matita/matita/contribs/lambda_delta/Basic_2/grammar/cl_weight.ma
matita/matita/contribs/lambda_delta/Basic_2/grammar/item.ma
matita/matita/contribs/lambda_delta/Basic_2/grammar/lsubs.ma
matita/matita/contribs/lambda_delta/Basic_2/grammar/term.ma
matita/matita/contribs/lambda_delta/Basic_2/grammar/term_weight.ma
matita/matita/contribs/lambda_delta/Basic_2/grammar/thom.ma
matita/matita/contribs/lambda_delta/Basic_2/notation.ma
matita/matita/contribs/lambda_delta/replace.sh