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: 09151f3) | patch

author	Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
	Tue, 6 May 2003 09:35:11 +0000 (09:35 +0000)
committer	Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
	Tue, 6 May 2003 09:35:11 +0000 (09:35 +0000)
commit	1bfef566743ddd81db375cf66ed3868c5d7df542
tree	7d5b3492af913ca1ced11a00d002c65dbccfe8ab	tree \| snapshot
parent	09151f33b14507e4d20380f3100a6db5f49f3f46	commit \| diff

New: the user can now refine the proposed constraints once that they are
generated.

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