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

projects / helm.git / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: d03e9fa) | patch

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Mon, 23 May 2016 20:27:38 +0000 (20:27 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Mon, 23 May 2016 20:27:38 +0000 (20:27 +0000)
commit	348f1670b30f52db99187b2e92b45348e18ebbbe
tree	1c260fd2c9cb74843ad82cdddec68982e6bcb420	tree \| snapshot
parent	d03e9fa5ea709a937148a67fc115d894e5990063	commit \| diff

initial support for LaTeX-defined notatopn

14 files changed:

matita/components/binaries/matex/Makefile		diff \| blob \| history
matita/components/binaries/matex/alpha.ml		diff \| blob \| history
matita/components/binaries/matex/engine.ml		diff \| blob \| history
matita/components/binaries/matex/kernel.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	[new file with mode: 0644]	blob
matita/components/binaries/matex/test/ground_1.conf.xml	[new file with mode: 0644]	blob
matita/components/binaries/matex/test/ground_1.sty	[new file with mode: 0644]	blob
matita/components/binaries/matex/test/legacy_1.conf.xml	[new file with mode: 0644]	blob
matita/components/binaries/matex/test/legacy_1.sty	[new file with mode: 0644]	blob
matita/components/binaries/matex/test/test.tex		diff \| blob \| history

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