]> matita.cs.unibo.it Git - helm.git/commit
ugly coerc db print
authorEnrico Tassi <enrico.tassi@inria.fr>
Tue, 29 Sep 2009 16:53:28 +0000 (16:53 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Tue, 29 Sep 2009 16:53:28 +0000 (16:53 +0000)
commitad8d37cce3b39565861014d870b91b1add0ec0e3
tree10984af2f1f935289928fe4cb051621f36367230
parent1409a972815b8e4e697d9ad55c77d9292cbea787
ugly coerc db print
helm/software/components/ng_refiner/nCicUnifHint.ml
helm/software/components/ng_refiner/nCicUnifHint.mli
helm/software/matita/lablGraphviz.ml
helm/software/matita/matita.glade
helm/software/matita/matitaGui.ml
helm/software/matita/matitaMathView.ml
helm/software/matita/matitaTypes.ml
helm/software/matita/matitaTypes.mli