From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Mon, 27 Dec 2010 21:51:13 +0000 (+0000)
Subject: 1. reset of statuses simplified
X-Git-Tag: make_still_working~2618
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=3a3199faa15b1d96f8ccd8bd1551f6f4f9aceb66;hp=3a3199faa15b1d96f8ccd8bd1551f6f4f9aceb66;p=helm.git

1. reset of statuses simplified
2. NCicEnvironment.invalidate_all (that used to hide a bug in invalidation)
   removed. The semantics of the MTI is now more shacky, but this needs to be
   fixed in other ways.
3. {lexicon_,grafite_,...}status renamed into status
---