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: 0a443e5) | patch

author	Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
	Sun, 4 Jan 2009 13:01:49 +0000 (13:01 +0000)
committer	Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
	Sun, 4 Jan 2009 13:01:49 +0000 (13:01 +0000)
commit	02ce2fd650a68d04fff678441cca9086c8310005
tree	cb95521a6022048e170acc0b8aad6d242b57d0b5	tree \| snapshot
parent	0a443e57d4951768408fc7e1a4397dc67b31047b	commit \| diff

Back to step 1: all files that used to pass now pass again.

helm/software/matita/contribs/formal_topology/overlap/categories.ma		diff \| blob \| history
helm/software/matita/contribs/formal_topology/overlap/o-basic_pairs.ma		diff \| blob \| history
helm/software/matita/contribs/formal_topology/overlap/o-concrete_spaces.ma		diff \| blob \| history

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