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: 729e08f) | patch

author	Andrea Asperti <andrea.asperti@unibo.it>
	Wed, 13 Oct 2010 11:04:46 +0000 (11:04 +0000)
committer	Andrea Asperti <andrea.asperti@unibo.it>
	Wed, 13 Oct 2010 11:04:46 +0000 (11:04 +0000)
commit	560db5569f54fba5bded568699a33947f88df3ba
tree	eff734077872c6b24ce81baaeaf319186f7294c2	tree \| snapshot
parent	729e08f5fb86b3ffee460fda4577b024ab5888aa	commit \| diff

Propagation of changes to grafiteAst.

18 files changed:

matita/components/binaries/transcript/engine.ml		diff \| blob \| history
matita/components/binaries/transcript/gallina8Parser.mly		diff \| blob \| history
matita/components/binaries/transcript/grafite.ml		diff \| blob \| history
matita/components/binaries/transcript/grafiteParser.mly		diff \| blob \| history
matita/components/binaries/transcript/types.ml		diff \| blob \| history
matita/components/grafite/grafiteAst.ml		diff \| blob \| history
matita/components/grafite/grafiteAstPp.ml		diff \| blob \| history
matita/components/grafite/grafiteAstPp.mli		diff \| blob \| history
matita/components/grafite_engine/grafiteEngine.ml		diff \| blob \| history
matita/components/grafite_engine/grafiteEngine.mli		diff \| blob \| history
matita/components/grafite_parser/grafiteDisambiguate.ml		diff \| blob \| history
matita/components/grafite_parser/grafiteDisambiguate.mli		diff \| blob \| history
matita/components/grafite_parser/grafiteParser.ml		diff \| blob \| history
matita/components/grafite_parser/grafiteParser.mli		diff \| blob \| history
matita/components/grafite_parser/test_parser.ml		diff \| blob \| history
matita/matita/matitaEngine.mli		diff \| blob \| history
matita/matita/matitaScript.ml		diff \| blob \| history
matita/matita/matitacLib.ml		diff \| blob \| history

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