]> matita.cs.unibo.it Git - helm.git/commit
- matex: minor improvements
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 22 Jun 2016 19:46:32 +0000 (19:46 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 22 Jun 2016 19:46:32 +0000 (19:46 +0000)
commit28e8954fbe2e28f01ae918c8d0e0ef34bd84b48f
treee0f62349c1344049067f44d8b17aa81b7a7be8fe
parent7d99a19985ae7ca20845d0a875e32f23ba06e536
- matex: minor improvements
- latex stylesheets: more notation for basic_1
  now we use just the stix fonts
14 files changed:
matita/components/binaries/matex/Makefile
matita/components/binaries/matex/alpha.ml
matita/components/binaries/matex/anticipate.ml
matita/components/binaries/matex/engine.ml
matita/components/binaries/matex/matex.ml
matita/components/binaries/matex/options.ml
matita/components/binaries/matex/options.mli
matita/components/binaries/matex/test/basic_1.conf.xml
matita/components/binaries/matex/test/basic_1.sty
matita/components/binaries/matex/test/ground_1.conf.xml
matita/components/binaries/matex/test/ground_1.sty
matita/components/binaries/matex/test/legacy_1.sty
matita/components/binaries/matex/test/matex.sty
matita/components/binaries/matex/test/test.tex