]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 19a25bf) | patch
severe bug found in parallel zeta
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 18 Aug 2018 13:51:05 +0000 (15:51 +0200)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 18 Aug 2018 13:51:05 +0000 (15:51 +0200)
commit9aa2722ff4aa7868ffd14e5a820cd6dc79e2c8a6
treeb72825c7e35effc48083742ee44b1ef58745c1datree | snapshot
parent19a25bf176255055193372554437729a6fa1894ccommit | diff
severe bug found in parallel zeta

+ partial commit: component "dynamic" corrected
+ some additions towards preservation
matita/matita/contribs/lambdadelta/basic_2/dynamic/cnv.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/dynamic/cnv_cpm_conf.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/dynamic/cnv_cpm_tdeq.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/dynamic/cnv_cpm_trans.ma diff | blob | history
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_computation/fpbg_fqup.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.