[GiNaC-cvs] check timer.cpp

[CVS Service]

Update of /home/cvs/GiNaC/check by kreckel

Modified Files:
      Tag: ginac_1-3
	timer.cpp 
Log Message:
* Sync to HEAD (timer class).