Fri, 21 Jun 2002 18:40:06 +0200 *** empty log message ***
nipkow [Fri, 21 Jun 2002 18:40:06 +0200] rev 13238
*** empty log message ***
Fri, 21 Jun 2002 15:41:07 +0200 cleanup old isabelle-* dirs before test start
isatest [Fri, 21 Jun 2002 15:41:07 +0200] rev 13237
cleanup old isabelle-* dirs before test start included master log file
Fri, 21 Jun 2002 15:39:19 +0200 included masterlog file
isatest [Fri, 21 Jun 2002 15:39:19 +0200] rev 13236
included masterlog file
(0) -10000 -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip