Thanks. On Apr 26, 2010, at 12:07 PM, Jean-Michel Campin wrote: > I think that if you download a checkpoint, e.g., >> cvs co -r checkpoint62e > (or if you take the latest checkpoint tar file), > you will see the name of the checkpoint on this line: >> C $Name: checkpoint62e $