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: c52e807) | patch

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Tue, 1 May 2018 22:56:24 +0000 (00:56 +0200)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Tue, 1 May 2018 22:56:24 +0000 (00:56 +0200)
commit	b598b37379baabef24ae511596be7f740cbb0c2e
tree	59ca3544996fc076236fa35663ea8ac8ba0ab32e	tree \| snapshot
parent	c52e807a10cac88866b61fa458936dc5c0f5ee70	commit \| diff

partial notational update in ground_2 and basic_2 ....

+ the notation for lists and streams contains a bug

matita/matita/contribs/lambdadelta/basic_2/web/basic_2_src.tbl		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/notation/constructors/cons_2.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/notation/constructors/cons_3.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/notation/constructors/oplusright_3.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground_2/notation/constructors/oplusright_5.ma	[new file with mode: 0644]	blob
matita/matita/predefined_virtuals.ml		diff \| blob \| history

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