On 29 Nov 2007, at 23:36, Michael G Schwern wrote:
When does state get cleared?
When you save a new state over the top of it. In practice you don't need to explicitly clear it I think. I could add an erase option - or you could just rm .prove.
-- Andy Armstrong, Hexten
