]> matita.cs.unibo.it Git - helm.git/commit
milestone update in basic_2
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 8 Jun 2018 18:27:21 +0000 (20:27 +0200)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 8 Jun 2018 18:27:21 +0000 (20:27 +0200)
commitcac0166656e08399eaaf1a1e19f0ccea28c36d39
treefc1cf6469893011c3c47b3b54ef1aaaa3f6e33a0
parent150f931929c8333dbcfff8dbe77fb2e177f44c56
milestone update in basic_2

componemt rt_computation cpmpleted!
14 files changed:
matita/matita/contribs/lambdadelta/basic_2/etc/lprs/lprs.etc [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cprs_lpr.ma
matita/matita/contribs/lambdadelta/basic_2/rt_computation/lprs.ma
matita/matita/contribs/lambdadelta/basic_2/rt_computation/lprs_cpms.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2/rt_computation/lprs_cprs.ma
matita/matita/contribs/lambdadelta/basic_2/rt_computation/lprs_lpr.ma
matita/matita/contribs/lambdadelta/basic_2/rt_computation/lprs_lprs.ma
matita/matita/contribs/lambdadelta/basic_2/rt_computation/lprs_tc.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2/rt_computation/lpxs.ma
matita/matita/contribs/lambdadelta/basic_2/rt_computation/partial.txt [deleted file]
matita/matita/contribs/lambdadelta/basic_2/web/basic_2.ldw.xml
matita/matita/contribs/lambdadelta/basic_2/web/basic_2_src.tbl
matita/matita/contribs/lambdadelta/compile_partial.sh
matita/matita/contribs/lambdadelta/partial.txt