]> matita.cs.unibo.it Git - helm.git/commit
- dependencies between statuses simplified
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 4 Nov 2010 20:39:17 +0000 (20:39 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 4 Nov 2010 20:39:17 +0000 (20:39 +0000)
commitf5065f33e0689753c3f2744928b96851ca77ca8d
treed64594db49310491b09127fde813b74bfd426740
parent551861bf1adbb1db5b0b9941b98ba54531157364
- dependencies between statuses simplified
matita/components/grafite_parser/grafiteDisambiguate.ml
matita/components/grafite_parser/grafiteDisambiguate.mli
matita/components/ng_tactics/nTacStatus.ml
matita/components/ng_tactics/nTacStatus.mli
matita/components/statuses.txt