]> matita.cs.unibo.it Git - helm.git/commit
- plain anticipation for CIC proofs terms
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 11 Jan 2016 16:46:16 +0000 (16:46 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 11 Jan 2016 16:46:16 +0000 (16:46 +0000)
commitea6b4322051d3eb1794bfca3928f6e1773f971ba
treef7cab007ef76a4559bfadf3747bae3f33d5035c8
parent21679cd1397d9c51519dbe439c29c1683b91ec64
- plain anticipation for CIC proofs terms
- support for (co)fixpoint objects
- Makefile for testing
- minor updates
16 files changed:
matita/components/binaries/matex/Makefile
matita/components/binaries/matex/TeX.ml
matita/components/binaries/matex/TeXOutput.ml
matita/components/binaries/matex/anticipate.ml [new file with mode: 0644]
matita/components/binaries/matex/anticipate.mli [new file with mode: 0644]
matita/components/binaries/matex/engine.ml
matita/components/binaries/matex/ground.ml [new file with mode: 0644]
matita/components/binaries/matex/ground.mli [new file with mode: 0644]
matita/components/binaries/matex/kernel.ml [new file with mode: 0644]
matita/components/binaries/matex/matex.ml
matita/components/binaries/matex/options.ml
matita/components/binaries/matex/options.mli
matita/components/binaries/matex/test/Make [new file with mode: 0644]
matita/components/binaries/matex/test/Makefile [new file with mode: 0644]
matita/components/binaries/matex/test/matex.sty
matita/components/binaries/matex/test/test.tex