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: 2d09c62) | patch

author	Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
	Wed, 15 Jun 2005 16:18:12 +0000 (16:18 +0000)
committer	Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
	Wed, 15 Jun 2005 16:18:12 +0000 (16:18 +0000)
commit	8f8d3ad5a02faed2ddcaa22f49a9099175445ef4
tree	b9e4a4bedb134a25acc46a726c2b4bf4b0878e26	tree \| snapshot
parent	2d09c6299ae9601499228665a89da065ecd390ae	commit \| diff

The `Record class now records also the name of the fields
(used to generate the projections)

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