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: 841ed2d) | patch

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Tue, 23 Dec 2014 13:16:38 +0000 (13:16 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Tue, 23 Dec 2014 13:16:38 +0000 (13:16 +0000)
commit	cd77f8898787aab4808437ee731f5c7f87cd64df
tree	e8161ec4f917b5044e599f22109160ecceed3a0b	tree \| snapshot
parent	841ed2d52ac7276350bffe6bc29df1d762686c17	commit \| diff

- bug fix in the RTM
- we can validate the Grundlagen in lambda-delta version 3

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