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: 477d9f8) | patch

author	Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
	Mon, 6 Apr 2009 20:40:43 +0000 (20:40 +0000)
committer	Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
	Mon, 6 Apr 2009 20:40:43 +0000 (20:40 +0000)
commit	1c950d8cfe400f6b68eee7a67c555549db3a4d36
tree	47c26b0ad4013432f5fa26eb55d28da7ea3d30e4	tree \| snapshot
parent	477d9f8e1cb71dd2915ec92fa0bf963ef96d1bdc	commit \| diff

New tactic clear; new syntax # _; to introduce and immediately clear an
hypothesis.

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