Fri, 09 May 2003 18:00:30 +0200 *** empty log message ***
nipkow [Fri, 09 May 2003 18:00:30 +0200] rev 13996
*** empty log message ***
Fri, 09 May 2003 17:19:58 +0200 NEWS updated for HOL-Algebra.
ballarin [Fri, 09 May 2003 17:19:58 +0200] rev 13995
NEWS updated for HOL-Algebra.
Fri, 09 May 2003 14:21:07 +0200 tuned
kleing [Fri, 09 May 2003 14:21:07 +0200] rev 13994
tuned
Fri, 09 May 2003 14:15:50 +0200 only make development snapshots for successful tests
kleing [Fri, 09 May 2003 14:15:50 +0200] rev 13993
only make development snapshots for successful tests
Fri, 09 May 2003 14:08:04 +0200 fixes
kleing [Fri, 09 May 2003 14:08:04 +0200] rev 13992
fixes
Fri, 09 May 2003 12:08:00 +0200 var/run -> var/running
kleing [Fri, 09 May 2003 12:08:00 +0200] rev 13991
var/run -> var/running
Fri, 09 May 2003 12:02:57 +0200 tuned
kleing [Fri, 09 May 2003 12:02:57 +0200] rev 13990
tuned
Fri, 09 May 2003 11:56:16 +0200 typo
kleing [Fri, 09 May 2003 11:56:16 +0200] rev 13989
typo
Fri, 09 May 2003 11:54:33 +0200 add cleanup of old error log and test-still-running files
kleing [Fri, 09 May 2003 11:54:33 +0200] rev 13988
add cleanup of old error log and test-still-running files
Fri, 09 May 2003 11:54:04 +0200 tuned
kleing [Fri, 09 May 2003 11:54:04 +0200] rev 13987
tuned
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip