]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a6eaa01) | patch
Bugs related to pretty printing of names fixed (capitalization, name
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 1 Aug 2012 16:37:09 +0000 (16:37 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 1 Aug 2012 16:37:09 +0000 (16:37 +0000)
commitaf28f643b26581a87843de9d7cbc830998234af0
treefda246c209c7f2862dc2329f345ba3dee6a0b564tree | snapshot
parenta6eaa01495f64adf507ad00ab2a4f27be954936acommit | diff
Bugs related to pretty printing of names fixed (capitalization, name
clashes, etc.). In particular removed binders (propositionals) were sometimes
still counted.
matita/components/ng_kernel/nCicExtraction.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.