]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9080be0) | patch
- initial support for sigma-types
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 27 Feb 2017 16:35:21 +0000 (16:35 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 27 Feb 2017 16:35:21 +0000 (16:35 +0000)
commit4ce6264997ad60716f5845ff5474796f777e0a49
treec53a75d6a129f493c50dd4b5834d6d5aa33e15dctree | snapshot
parent9080be011a214d5ee98639c2c7c6356a7be3d2d1commit | diff
- initial support for sigma-types
- matex.sty: some style improvements
- test.tex: red boxes arround hyperlinks removed
matita/components/binaries/matex/alpha.ml diff | blob | history
matita/components/binaries/matex/engine.ml diff | blob | history
matita/components/binaries/matex/meta.ml [new file with mode: 0644] blob
matita/components/binaries/matex/options.ml diff | blob | history
matita/components/binaries/matex/options.mli diff | blob | history
matita/components/binaries/matex/test/matex.sty diff | blob | history
matita/components/binaries/matex/test/test.tex diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.