]> matita.cs.unibo.it Git - helm.git/commit
cicInspect: node count fixed
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 2 Mar 2009 20:34:04 +0000 (20:34 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 2 Mar 2009 20:34:04 +0000 (20:34 +0000)
commit592b7d81b57ec66e0ee007de336e249b07ae0258
tree6e29301ffbaa04ac637961052a1784f8aba9ddde
parentde77f79d60ee3c1d30fe03469172950b557441f3
cicInspect: node count fixed
proceduralTeX: bug fix
LAMBDA-TYPES/Legacy-2/preamble.ma: bug fix
character: updated
helm/software/components/acic_procedural/proceduralOptimizer.ml
helm/software/components/acic_procedural/proceduralTeX.ml
helm/software/components/acic_procedural/proceduralTypes.ml
helm/software/components/cic/cicInspect.ml
helm/software/components/cic/cicInspect.mli
helm/software/matita/contribs/LAMBDA-TYPES/Legacy-2/preamble.ma
helm/software/matita/contribs/character/classes/defs.ma
helm/software/matita/contribs/character/classes/props_pt.ma