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

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

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Sun, 27 Mar 2016 16:39:33 +0000 (16:39 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Sun, 27 Mar 2016 16:39:33 +0000 (16:39 +0000)
commit	d3636c8688ec08cc39eb7ce6c1918b25bbccc349
tree	43b54c47c099e25c38bb0b3ca0a6bf1a84d22cee	tree \| snapshot
parent	7fff13721f6e7040e76faad31583b1cb86693d2c	commit \| diff

- minor corrections
- web pages for nasoc_2 and apps_2 are up again

24 files changed:

matita/matita/contribs/lambdadelta/apps_2/functional/notation.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_new/lenv/lenv_append.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/grammar/lenv_append.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/grammar/term_vector.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/drops.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/drops_ceq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/drops_drops.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/drops_length.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/drops_lexs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/drops_lreq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/drops_lstar.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/drops_vector.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/drops_weight.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/frees_lreq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/freq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/freq_freq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/lexs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/lexs_length.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/lexs_lexs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/lifts_simple.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/lifts_weight.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/lreq_length.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/web/basic_2.ldw.xml		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