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: 9d5724b) | patch

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Thu, 8 Mar 2018 23:02:50 +0000 (00:02 +0100)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Thu, 8 Mar 2018 23:02:50 +0000 (00:02 +0100)
commit	1604f2ee65c57eefb7c6b3122eab2a9f32e0552d
tree	02e9f01f02462128034bcb5c82e2a53bc980842e	tree \| snapshot
parent	9d5724b7a571ce0da2a2691e639f044430f4a73a	commit \| diff

long awaited update in basic_2

csx_lfsx eventually proved! (major result on lfsx)

matita/matita/contribs/lambdadelta/basic_2/relocation/lex_tc.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/lfpxs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/lfpxs_cpxs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/lfpxs_fqup.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/lfsx_csx.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/lpxs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/lpxs_cpxs.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_computation/lpxs_lpx.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_computation/partial.txt		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.