matita.cs.unibo.it Git - helm.git/commit

]> matita.cs.unibo.it Git - helm.git/commit

projects / helm.git / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: 7f885dc) | patch

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Sun, 3 Mar 2013 18:52:14 +0000 (18:52 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Sun, 3 Mar 2013 18:52:14 +0000 (18:52 +0000)
commit	583c59b229ba770c9694c703b381542ff2e67f4e
tree	a03dfb826acf26f4d8b769fd2056640f452143ef	tree \| snapshot
parent	7f885dcfbce72106781ce41a7d957b7602096396	commit \| diff

- lambdadelta: we removed focalized reduction from snv preservation
- matitadep: bug fix in loop detection

15 files changed:

matita/components/binaries/matitadep/matitadep.ml		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/cprs_cprs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/dxprs_dxprs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/snv.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/snv_aaa.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/snv_cpcs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/snv_ltpr.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/snv_ltpr_ssta.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/snv_ssta.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/snv_ssta_ltpr.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/dynamic/snv_sstas.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/equivalence/cpcs_cpcs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/reducibility/cpr_lift.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/unwind/sstas.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/unwind/sstas_lift.ma		diff \| blob \| history

Unnamed repository; edit this file 'description' to name the repository.