> regarding the history file I also wonder about the exact format of the > timestamps. Can't find anything in Karl Fogels otherwise very good > book (Open Source Development with CVS)... >