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: 36eecd9) | patch

author	Enrico Tassi <enrico.tassi@inria.fr>
	Wed, 21 Jun 2006 15:33:02 +0000 (15:33 +0000)
committer	Enrico Tassi <enrico.tassi@inria.fr>
	Wed, 21 Jun 2006 15:33:02 +0000 (15:33 +0000)
commit	679f6296c9a979213425104fa606809d9f1e3bad
tree	34e908e4450c14b9f624b4c843a71e8210c130b3	tree \| snapshot
parent	36eecd95ced29b1925913c8cfaf804c472599e66	commit \| diff

added the geniric
auto params
syntax and the auto superposition tactic

12 files changed:

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