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

author	Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
	Wed, 30 Sep 2009 13:48:03 +0000 (13:48 +0000)
committer	Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
	Wed, 30 Sep 2009 13:48:03 +0000 (13:48 +0000)
commit	2007402c996678701798d71124a1a255529061ee
tree	5289a20771798067a715093aa040bab831b9c093	tree \| snapshot
parent	ddd6560f4e70ec3306d223738a441d5f1dd3eac9	commit \| diff

New datatype for metasenv/subst: full fledged attributes in place of optional
strings.

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