]> matita.cs.unibo.it Git - helm.git/commit
- improved support for case
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 12 Jun 2016 17:36:44 +0000 (17:36 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 12 Jun 2016 17:36:44 +0000 (17:36 +0000)
commitf462726eaf4edb5852851ec5d265cdafe9d3a78d
treebe224415f535c8414bc644c1b1465c3c34008bed
parentffc3e681a82dc32269cc87407a95db6c922d3bfb
- improved support for case
- support for renaming constants
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/basic_1.conf.xml
matita/components/binaries/matex/test/ground_1.conf.xml
matita/components/binaries/matex/test/matex.sty