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: 81a0d86) | patch

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Wed, 10 Jan 2007 17:14:52 +0000 (17:14 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Wed, 10 Jan 2007 17:14:52 +0000 (17:14 +0000)
commit	c1e0024285a65a7d3e31bbdf77ad5d12bcdde36c
tree	59f2b88e79f3a547f98ec9ae65eec93c0e76dfb8	tree \| snapshot
parent	81a0d8630bef7e8f3d5f605fb9257cd2f99c935e	commit \| diff

attributes now in the proof status: commit 4

13 files changed:

components/content_pres/acic2Procedural.ml		diff \| blob \| history
components/content_pres/cicClassify.ml		diff \| blob \| history
components/content_pres/objPp.ml		diff \| blob \| history
components/content_pres/proceduralTypes.ml		diff \| blob \| history
components/grafite/grafiteAstPp.ml		diff \| blob \| history
matita/contribs/LAMBDA-TYPES/Level-1/Base/blt/defs.ma		diff \| blob \| history
matita/contribs/LAMBDA-TYPES/Level-1/Base/ext/arith.ma		diff \| blob \| history
matita/contribs/LAMBDA-TYPES/Level-1/Base/ext/preamble.ma	[deleted file]	blob \| history
matita/contribs/LAMBDA-TYPES/Level-1/Base/ext/tactics.ma		diff \| blob \| history
matita/contribs/LAMBDA-TYPES/Level-1/Base/plist/defs.ma		diff \| blob \| history
matita/contribs/LAMBDA-TYPES/Level-1/Base/preamble.ma	[new file with mode: 0644]	blob
matita/contribs/LAMBDA-TYPES/Level-1/Base/types/defs.ma		diff \| blob \| history
matita/contribs/prova.ma		diff \| blob \| history

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