matita.cs.unibo.it Git - helm.git/commit

]> matita.cs.unibo.it Git - helm.git/commit

author	Enrico Tassi <enrico.tassi@inria.fr>
	Mon, 2 May 2005 12:53:56 +0000 (12:53 +0000)
committer	Enrico Tassi <enrico.tassi@inria.fr>
	Mon, 2 May 2005 12:53:56 +0000 (12:53 +0000)
commit	5e4659bb1bd31c92fa7c82fe502aabb1dc9dbb75
tree	987dc5cc3529ed2c007cf9e307fd35366e128095	tree \| snapshot
parent	e937a197c1123e9adc6b2036ae47c7952ebbf138	commit \| diff

added Match (partially) and sync with the count table

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