]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bd840d4) | patch
update in basic_2
authorFerruccio Guidi <fguidi@maelstrom.helm.cs.unibo.it>
Wed, 29 May 2019 19:52:30 +0000 (21:52 +0200)
committerFerruccio Guidi <fguidi@maelstrom.helm.cs.unibo.it>
Wed, 29 May 2019 19:52:30 +0000 (21:52 +0200)
commit6b4da5fa47d474dcf2f203ec7f5ed36938739c9b
tree38a1e5909bd2644c50eaa7c13696abb12a91691dtree | snapshot
parentbd840d43d09254b41936c49fc447e58582b156ebcommit | diff
update in basic_2

+ totality for fixed cpce
+ Makefile: bug fixed
matita/matita/contribs/lambdadelta/Makefile diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/dynamic/cnv.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/dynamic/cnv_cpce.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/dynamic/cnv_fsb.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/fpbg.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/rt_conversion/cpce.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/rt_conversion/cpce_drops.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/static_2/relocation/drops_drops.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.