solver can now undo its entries one at a time or in batch.