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: 4aa343b) | patch

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Sun, 8 Jun 2014 17:40:37 +0000 (17:40 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Sun, 8 Jun 2014 17:40:37 +0000 (17:40 +0000)
commit	a2092f7ba4c7c566ea90653ff57e4623ab94d8d5
tree	28b34961bca65482a1c473c0d3c4cf0e682cc4a9	tree \| snapshot
parent	4aa343ba8e1c807108203ece4e142c81b27d28e8	commit \| diff

- some work on append
- some corrections and some annotations

13 files changed:

matita/matita/contribs/lambdadelta/basic_2/etc/append/ldrop_append.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/append/lenv_append.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/grammar/lenv.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/grammar/lenv_append.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/multiple/llor.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/multiple/llor_etc.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/multiple/llor_ldrop.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/functions/snabbr_2.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/notation/functions/snabst_2.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/notation/functions/snbind2_3.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/substitution/ldrop.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/substitution/ldrop_append.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/web/basic_2_src.tbl		diff \| blob \| history

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