Mon, 22 Dec 1997 11:16:47 +0100 New rules rev_iffD{1,2}
paulson [Mon, 22 Dec 1997 11:16:47 +0100] rev 4462
New rules rev_iffD{1,2}
Fri, 19 Dec 1997 19:59:50 +0100 corrected removal to /tmp/tmp.c
oheimb [Fri, 19 Dec 1997 19:59:50 +0100] rev 4461
corrected removal to /tmp/tmp.c
Fri, 19 Dec 1997 19:57:28 +0100 added removal to /tmp/tmp.txt
oheimb [Fri, 19 Dec 1997 19:57:28 +0100] rev 4460
added removal to /tmp/tmp.txt
(0) -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip