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

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

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Sat, 16 Apr 2016 12:43:32 +0000 (12:43 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Sat, 16 Apr 2016 12:43:32 +0000 (12:43 +0000)
commit	e39d1924cd572acdf0cf8dba08f3b650dfd6abee
tree	8e73bba69b36349c2dc206b79f3926ffc4310455	tree \| snapshot
parent	d2e0a33c75842a10574ef904097803e02571536c	commit \| diff

- former llpx_sn an lleq reactivated as lfxs and lfeq

27 files changed:

matita/matita/contribs/lambdadelta/basic_2/etc_new/aaa/aaa_freq.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_new/lleq/lleq.etc		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_new/lleq/lleq_lleq.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_new/llpx_sn/llpx_sn.etc		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/relationstar_4.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/relocation/lexs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/lexs_lexs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/aaa_lfeq.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/static/ffeq.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/static/ffeq_ffeq.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/static/frees_fqup.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/freq.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/freq_freq.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/lfeq.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/static/lfeq_fqup.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/static/lfeq_length.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/static/lfeq_lfeq.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/static/lfeq_lreq.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/static/lfxs.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/static/lfxs_fqup.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/static/lfxs_length.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/static/lfxs_lfxs.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/web/basic_2_src.tbl		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/lib/star.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/notation/xoa_notation.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/xoa.conf.xml		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/xoa/xoa.ma		diff \| blob \| history

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

RSS Atom