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

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

author	Ferruccio Guidi <fguidi@maelstrom.helm.cs.unibo.it>
	Thu, 15 Feb 2018 14:19:07 +0000 (15:19 +0100)
committer	Ferruccio Guidi <fguidi@maelstrom.helm.cs.unibo.it>
	Thu, 15 Feb 2018 14:19:07 +0000 (15:19 +0100)
commit	9323611e3819c1382b872a7ada00264991f36217
tree	a2f1a641b00bd5c17e6fac0aba8cfb2aabf8112d	tree \| snapshot
parent	b0eb62e60a2fd73ba39c7a0df112f04131528602	commit \| diff

integrating the framework with fle ...

+ new ignores

25 files changed:

.gitignore		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/i_static/tc_lfxs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/i_static/tc_lfxs_lex.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/i_static/tc_lfxs_tc_lfxs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/lfpxs_etc.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/lfpxs_lpxs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/lfsx.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpm_lfxs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpx_etc.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpx_lfdeq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpx_lfxs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/lfpr_lfpr.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/lfpx_lfdeq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/ffdeq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/ffdeq_ffdeq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/fle_fle.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/fle_fqup.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/fle_lsubf.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/lfdeq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/lfdeq_length.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/lfdeq_lfdeq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/lfxs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/lfxs_fle.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/lfxs_lfxs.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.

RSS Atom