- runningTimeTest(): a tool to measure running times more precisely.
- TimeStamp now uses double to count cpu-times
- 'get's removed from the query functions of Times and TimeStamp
4 <possible notes regarding this package - if none, delete this file>
6 -- LEMON Development Team <etik-ol@cs.elte.hu>, Tue, 14 Jun 2005 08:29:34 +0200