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

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Tue, 16 Jun 2015 12:09:21 +0000 (12:09 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Tue, 16 Jun 2015 12:09:21 +0000 (12:09 +0000)
commit	1be981691870cca039b1af1fb954491c2020d483
tree	5678f0917f1151e72b5d0a2f3c3245fac69d91f0	tree \| snapshot
parent	c2a2ecf1a9d02b03b9e840e01128632663e5d8a5	commit \| diff

new syntax of abstractions propagated to complete_rg

12 files changed:

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