> It might be a bigger deal from the point of view of the desirability of > exact restarts. If the state is not saved in the checkpoint, then the > restart is inexact. Sure, saving the history would be desirable for this reason. Tomáš