]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ffc3e68) | patch
- 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
treebe224415f535c8414bc644c1b1465c3c34008bedtree | snapshot
parentffc3e681a82dc32269cc87407a95db6c922d3bfbcommit | diff
- improved support for case
- support for renaming constants
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/basic_1.conf.xml diff | blob | history
matita/components/binaries/matex/test/ground_1.conf.xml diff | blob | history
matita/components/binaries/matex/test/matex.sty diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.