matita.cs.unibo.it Git - helm.git/commit - matita/components/binaries/matex/engine.ml

]> matita.cs.unibo.it Git - helm.git/commit - matita/components/binaries/matex/engine.ml

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Wed, 22 Jun 2016 19:46:32 +0000 (19:46 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Wed, 22 Jun 2016 19:46:32 +0000 (19:46 +0000)
commit	28e8954fbe2e28f01ae918c8d0e0ef34bd84b48f
tree	e0f62349c1344049067f44d8b17aa81b7a7be8fe	tree \| snapshot
parent	7d99a19985ae7ca20845d0a875e32f23ba06e536	commit \| diff

- 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		diff \| blob \| history
matita/components/binaries/matex/alpha.ml		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/matex.ml		diff \| blob \| history
matita/components/binaries/matex/options.ml		diff \| blob \| history
matita/components/binaries/matex/options.mli		diff \| blob \| history
matita/components/binaries/matex/test/basic_1.conf.xml		diff \| blob \| history
matita/components/binaries/matex/test/basic_1.sty		diff \| blob \| history
matita/components/binaries/matex/test/ground_1.conf.xml		diff \| blob \| history
matita/components/binaries/matex/test/ground_1.sty		diff \| blob \| history
matita/components/binaries/matex/test/legacy_1.sty		diff \| blob \| history
matita/components/binaries/matex/test/matex.sty		diff \| blob \| history
matita/components/binaries/matex/test/test.tex		diff \| blob \| history

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