Sun, 22 Feb 2004 15:17:58 +0000Timer class for measuring user/system time added.
alpar [Sun, 22 Feb 2004 15:17:58 +0000] rev 117
Timer class for measuring user/system time added.

Sun, 22 Feb 2004 15:16:54 +0000Bugfix in Dyn{Node|Edge}Maps.
alpar [Sun, 22 Feb 2004 15:16:54 +0000] rev 116
Bugfix in Dyn{Node|Edge}Maps.

Sun, 22 Feb 2004 12:51:34 +0000.
alpar [Sun, 22 Feb 2004 12:51:34 +0000] rev 115
.