]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 70dd167) | patch
- exclusion binder in local environments
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 17 Oct 2017 18:31:39 +0000 (18:31 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 17 Oct 2017 18:31:39 +0000 (18:31 +0000)
commit4ce795bb1d356e2565c14087b933adaccfc81dcd
tree1a6ca6395c9efa0737246f70a4724466df301d54tree | snapshot
parent70dd167b801e43d70609205937f4c84f9eecc31ccommit | diff
- exclusion binder in local environments
  updating of component rt_transition started
  cpg completed
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpg.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpg_drops.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpg_lsubr.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/syntax/tdeq_ext.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/web/basic_2_src.tbl diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.