]> matita.cs.unibo.it Git - helm.git/commit
dependencies between statuses simplified
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 4 Nov 2010 21:05:56 +0000 (21:05 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 4 Nov 2010 21:05:56 +0000 (21:05 +0000)
commit16250ed29f9200595694cd49dfc1aed76280dcb9
treecd22e681f82632611c4ad6da93593d5c59cd3586
parent39b205d12af34c0c8d6e691da2628bc386b70cf2
dependencies between statuses simplified
matita/components/lexicon/lexiconTypes.ml
matita/components/lexicon/lexiconTypes.mli
matita/components/statuses.txt
matita/matita/applyTransformation.ml
matita/matita/applyTransformation.mli
matita/matita/matitaGuiTypes.mli
matita/matita/matitaMathView.ml