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: 924e5de) | patch

author	Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
	Fri, 18 Jul 2008 14:23:01 +0000 (14:23 +0000)
committer	Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
	Fri, 18 Jul 2008 14:23:01 +0000 (14:23 +0000)
commit	4924f99796029eecb58e920ca7a6a366efe2373e
tree	72dfabe4bda4b938721f2b49c90f6495527eb803	tree \| snapshot
parent	924e5de699b84c18d438df639ebb1efe094c39a1	commit \| diff

Snapshot.

helm/software/matita/contribs/assembly/compiler/ast_tree.ma		diff \| blob \| history
helm/software/matita/contribs/assembly/compiler/preast_to_ast.ma		diff \| blob \| history
helm/software/matita/contribs/assembly/compiler/preast_tree.ma		diff \| blob \| history
helm/software/matita/contribs/assembly/compiler/sigma.ma	[new file with mode: 0755]	blob

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