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: 275449f) | patch

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Tue, 6 Oct 2009 14:46:38 +0000 (14:46 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Tue, 6 Oct 2009 14:46:38 +0000 (14:46 +0000)
commit	ece36f3adcdf55739b4686168b49506439bff2ba
tree	dbd279153734ad44b180385f0efeec9f86b6df9f	tree \| snapshot
parent	275449f6cc7da843aae2e0455edc38fda8571aec	commit \| diff

drg: we added the "positive projection" in environments
top: we enabled the automath/drg transformation

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