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

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

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Sat, 30 Apr 2016 21:33:47 +0000 (21:33 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Sat, 30 Apr 2016 21:33:47 +0000 (21:33 +0000)
commit	2fa001c86e37c76c840122655cb4ffba8bb30cad
tree	98ca236ca64c3f46b6864616e63da97d4de7474f	tree \| snapshot
parent	ab2f735d97d2b9c965f13527d5f6f61048d29b22	commit \| diff

- matex: support for alpha-conversion completed
- matex.sty: hyperlinks without labels
- registry: support or triples

18 files changed:

matita/components/binaries/matex/Makefile		diff \| blob \| history
matita/components/binaries/matex/alpha.ml	[new file with mode: 0644]	blob
matita/components/binaries/matex/alpha.mli	[new file with mode: 0644]	blob
matita/components/binaries/matex/anticipate.ml		diff \| blob \| history
matita/components/binaries/matex/anticipate.mli		diff \| blob \| history
matita/components/binaries/matex/engine.ml		diff \| blob \| history
matita/components/binaries/matex/ground.ml		diff \| blob \| history
matita/components/binaries/matex/ground.mli		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/Makefile		diff \| blob \| history
matita/components/binaries/matex/test/basic_1.conf.xml	[new file with mode: 0644]	blob
matita/components/binaries/matex/test/matex.sty		diff \| blob \| history
matita/components/binaries/matex/test/test.tex		diff \| blob \| history
matita/components/registry/helm_registry.ml		diff \| blob \| history
matita/components/registry/helm_registry.mli		diff \| blob \| history

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