]> matita.cs.unibo.it Git - helm.git/commit
- exclusion binder in local environments
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 17 Oct 2017 15:24:43 +0000 (15:24 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 17 Oct 2017 15:24:43 +0000 (15:24 +0000)
commit0098ddc7269a3fc4a554cf386d2a234d61d53d44
treee3cbe23507dd0b9668910598a164a6b7e21b4c8f
parent4a65802fd1fbf3f5ba875e59eef95ecb41e14fd4
- exclusion binder in local environments
  component i_static updated
  (this is part of last milestone)
matita/matita/contribs/lambdadelta/basic_2/etc/tc_lfxs.etc
matita/matita/contribs/lambdadelta/basic_2/i_static/tc_lfxs.ma
matita/matita/contribs/lambdadelta/basic_2/i_static/tc_lfxs_fqup.ma
matita/matita/contribs/lambdadelta/basic_2/i_static/tc_lfxs_tc_lfxs.ma
matita/matita/contribs/lambdadelta/basic_2/web/basic_2.ldw.xml
matita/matita/contribs/lambdadelta/basic_2/web/basic_2_src.tbl