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: 10ad9a2) | patch

author	Enrico Tassi <enrico.tassi@inria.fr>
	Fri, 15 Jul 2005 16:50:12 +0000 (16:50 +0000)
committer	Enrico Tassi <enrico.tassi@inria.fr>
	Fri, 15 Jul 2005 16:50:12 +0000 (16:50 +0000)
commit	619a3a478a4f6b0a50782b620009f6a141c30a53
tree	ca0a97a75c82e8cdb92fae8f0b0a45a6009c6698	tree \| snapshot
parent	10ad9a25f7c1f59af054398f9c2c6eab43d003b9	commit \| diff

matitamake is integrated with matita
(but currently compiles on stdout)

15 files changed:

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