]> matita.cs.unibo.it Git - helm.git/commit
- Const is now processed properly
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 4 Jan 2016 12:33:52 +0000 (12:33 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 4 Jan 2016 12:33:52 +0000 (12:33 +0000)
commit21679cd1397d9c51519dbe439c29c1683b91ec64
tree55ddfb9bb66b7fb73d518f7edaf0be7dbe1197ee
parent6b022cf2cccae67144ff045415e748b0b5c3a3d9
- Const is now processed properly
matita/components/binaries/matex/TeX.ml
matita/components/binaries/matex/TeXOutput.ml
matita/components/binaries/matex/engine.ml
matita/components/binaries/matex/test/matex.sty
matita/components/binaries/matex/test/test.tex