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: 13c9f0e) | 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	3ce05ecd50428a27ce17adb070620aeeaf2aed65
tree	f3abbb66c22449e15d4015718967499e1c122409	tree \| snapshot
parent	13c9f0ee2525769013a93333c4c8a65e603cc705	commit \| diff

attributes now in the proof status: commit 4

13 files changed:

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

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