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: 03e1725) | patch

author	Enrico Tassi <enrico.tassi@inria.fr>
	Wed, 23 Sep 2009 11:30:42 +0000 (11:30 +0000)
committer	Enrico Tassi <enrico.tassi@inria.fr>
	Wed, 23 Sep 2009 11:30:42 +0000 (11:30 +0000)
commit	bee436af0c6ceb1c83259c94036df8b12f901f2d
tree	84d307ff218b67582dac819e1da81a0b697463db	tree \| snapshot
parent	03e172581072389796cbc1d3e2d7b16956b95c8a	commit \| diff

new macro screenshot

16 files changed:

helm/software/components/grafite/grafiteAst.ml		diff \| blob \| history
helm/software/components/grafite/grafiteAstPp.ml		diff \| blob \| history
helm/software/components/grafite_parser/grafiteParser.ml		diff \| blob \| history
helm/software/matita/.depend		diff \| blob \| history
helm/software/matita/Makefile		diff \| blob \| history
helm/software/matita/matita.lang		diff \| blob \| history
helm/software/matita/matitaEngine.ml		diff \| blob \| history
helm/software/matita/matitaMathView.ml		diff \| blob \| history
helm/software/matita/matitaScript.ml		diff \| blob \| history
helm/software/matita/matitaTypes.ml		diff \| blob \| history
helm/software/matita/matitaTypes.mli		diff \| blob \| history
helm/software/matita/nlibrary/topology/Makefile	[new file with mode: 0644]	blob
helm/software/matita/nlibrary/topology/convert.awk	[new file with mode: 0644]	blob
helm/software/matita/nlibrary/topology/igft.ma		diff \| blob \| history
helm/software/matita/nlibrary/topology/postamble.xml	[new file with mode: 0644]	blob
helm/software/matita/nlibrary/topology/preamble.xml	[new file with mode: 0644]	blob

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