]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ab2f735) | patch
- 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
tree98ca236ca64c3f46b6864616e63da97d4de7474ftree | snapshot
parentab2f735d97d2b9c965f13527d5f6f61048d29b22commit | 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.