I compared with David's recent edits on 9:16am. Yes, they are all checked in as of 10:31am. Jerry On Tue, 2005-02-01 at 10:42 -0800, Philip Levis wrote: > Is what in CVS up to date? Are David's edits, etc. committed? > > Phil >