]> matita.cs.unibo.it Git - helm.git/commit
A new switch to activate/deactive nCicReduction pretty printing.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 8 Oct 2009 16:13:54 +0000 (16:13 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 8 Oct 2009 16:13:54 +0000 (16:13 +0000)
commitcdd019ea6419fc058a92b1aca950a4eff11188d1
tree061c64dccd0ca79e93b1396d2ec28cba669d3e4a
parent03f203779699068d517f298fe31b511821cdd561
A new switch to activate/deactive nCicReduction pretty printing.
helm/software/components/ng_kernel/nCicReduction.ml
helm/software/components/ng_kernel/nCicReduction.mli
helm/software/matita/matita.ml