matita.cs.unibo.it Git - helm.git/commit

]> matita.cs.unibo.it Git - helm.git/commit

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Sun, 7 Feb 2016 17:45:09 +0000 (17:45 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Sun, 7 Feb 2016 17:45:09 +0000 (17:45 +0000)
commit	802e118337ebd0f8b732d4939973aae6415b5bec
tree	abdc29dbe811c0da54b0ed1afe0426555f2135f3	tree \| snapshot
parent	a961a1237063702ed9c32a9a4b7994671cb40818	commit \| diff

- ground_2: support for relocation updated
- basic_2: theory of relocation updated
- MaTeX: (co)inductive types are now processed

17 files changed:

matita/components/binaries/matex/Makefile		diff \| blob \| history
matita/components/binaries/matex/anticipate.ml		diff \| blob \| history
matita/components/binaries/matex/engine.ml		diff \| blob \| history
matita/components/binaries/matex/test/test.tex		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/lifts.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/lifts_lifts.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/lifts_lifts_vector.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/lifts_simple.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/lifts_vector.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/lifts_weight.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/lib/streams.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/lib/streams_hdtl.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/relocation/nstream_after.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/relocation/nstream_at.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/relocation/nstream_id.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/relocation/nstream_lift.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/web/ground_2_src.tbl		diff \| blob \| history

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