]> matita.cs.unibo.it Git - helm.git/commit - matita/components/binaries/matex/engine.ml
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f6b452b) | patch
- 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
tree41bbc8f0f5270ad3cea225ae3679abe7e143c396tree | snapshot
parentf6b452b9c9be141740d4058dfbcf81a4b75fd00bcommit | diff
- 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 diff | blob | history
matita/components/binaries/matex/test/basic_1.conf.xml diff | blob | history
matita/components/binaries/matex/test/basic_1.sty diff | blob | history
matita/components/binaries/matex/test/legacy_1.sty 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.