]> matita.cs.unibo.it Git - helm.git/commit
- matex: we separate axioms (propositions) and assumptions (other)
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 3 Jul 2016 22:16:54 +0000 (22:16 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 3 Jul 2016 22:16:54 +0000 (22:16 +0000)
commitbedea63520c165e9445c15b09455e349c72e48a5
tree41bbc8f0f5270ad3cea225ae3679abe7e143c396
parentf6b452b9c9be141740d4058dfbcf81a4b75fd00b
- matex: we separate axioms (propositions) and assumptions (other)
- matex.sty: some improvements including
                  color for metalinguistic term constructions
- stylesheets: some improvements including more notation for basic_1
matita/components/binaries/matex/engine.ml
matita/components/binaries/matex/test/basic_1.conf.xml
matita/components/binaries/matex/test/basic_1.sty
matita/components/binaries/matex/test/legacy_1.sty
matita/components/binaries/matex/test/matex.sty
matita/components/binaries/matex/test/test.tex