]> matita.cs.unibo.it Git - helm.git/commit
- matex: support for alpha-conversion completed
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 30 Apr 2016 21:33:47 +0000 (21:33 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 30 Apr 2016 21:33:47 +0000 (21:33 +0000)
commit2fa001c86e37c76c840122655cb4ffba8bb30cad
tree98ca236ca64c3f46b6864616e63da97d4de7474f
parentab2f735d97d2b9c965f13527d5f6f61048d29b22
- matex: support for alpha-conversion completed
- matex.sty: hyperlinks without labels
- registry: support or triples
18 files changed:
matita/components/binaries/matex/Makefile
matita/components/binaries/matex/alpha.ml [new file with mode: 0644]
matita/components/binaries/matex/alpha.mli [new file with mode: 0644]
matita/components/binaries/matex/anticipate.ml
matita/components/binaries/matex/anticipate.mli
matita/components/binaries/matex/engine.ml
matita/components/binaries/matex/ground.ml
matita/components/binaries/matex/ground.mli
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/Makefile
matita/components/binaries/matex/test/basic_1.conf.xml [new file with mode: 0644]
matita/components/binaries/matex/test/matex.sty
matita/components/binaries/matex/test/test.tex
matita/components/registry/helm_registry.ml
matita/components/registry/helm_registry.mli