Update of /home/cvs/GiNaC/check by kreckel Modified Files: Tag: ginac_1-3 timer.cpp Log Message: * Sync to HEAD (timer class).