]> matita.cs.unibo.it Git - helm.git/commit
initial support for LaTeX-defined notatopn
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 23 May 2016 20:27:38 +0000 (20:27 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 23 May 2016 20:27:38 +0000 (20:27 +0000)
commit348f1670b30f52db99187b2e92b45348e18ebbbe
tree1c260fd2c9cb74843ad82cdddec68982e6bcb420
parentd03e9fa5ea709a937148a67fc115d894e5990063
initial support for LaTeX-defined notatopn
14 files changed:
matita/components/binaries/matex/Makefile
matita/components/binaries/matex/alpha.ml
matita/components/binaries/matex/engine.ml
matita/components/binaries/matex/kernel.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 [new file with mode: 0644]
matita/components/binaries/matex/test/ground_1.conf.xml [new file with mode: 0644]
matita/components/binaries/matex/test/ground_1.sty [new file with mode: 0644]
matita/components/binaries/matex/test/legacy_1.conf.xml [new file with mode: 0644]
matita/components/binaries/matex/test/legacy_1.sty [new file with mode: 0644]
matita/components/binaries/matex/test/test.tex