Mon, 02 Jul 2001 21:53:11 +0200 ppc-darwin;
wenzelm [Mon, 02 Jul 2001 21:53:11 +0200] rev 11393
ppc-darwin;
Mon, 02 Jul 2001 21:14:53 +0200 do *not* ./configure;
wenzelm [Mon, 02 Jul 2001 21:14:53 +0200] rev 11392
do *not* ./configure;
Mon, 02 Jul 2001 21:02:16 +0200 #!/usr/bin/env bash;
wenzelm [Mon, 02 Jul 2001 21:02:16 +0200] rev 11391
#!/usr/bin/env bash;
Mon, 02 Jul 2001 20:55:43 +0200 ...
wenzelm [Mon, 02 Jul 2001 20:55:43 +0200] rev 11390
...
Fri, 29 Jun 2001 18:12:18 +0200 the records section
paulson [Fri, 29 Jun 2001 18:12:18 +0200] rev 11389
the records section
Fri, 29 Jun 2001 18:03:07 +0200 the records section
paulson [Fri, 29 Jun 2001 18:03:07 +0200] rev 11388
the records section
Fri, 29 Jun 2001 16:59:10 +0200 for the records section
paulson [Fri, 29 Jun 2001 16:59:10 +0200] rev 11387
for the records section
Tue, 26 Jun 2001 17:25:41 +0200 a few new and/or improved results
paulson [Tue, 26 Jun 2001 17:25:41 +0200] rev 11386
a few new and/or improved results
Tue, 26 Jun 2001 17:07:02 +0200 gave Greatest_le its proper name
paulson [Tue, 26 Jun 2001 17:07:02 +0200] rev 11385
gave Greatest_le its proper name
Tue, 26 Jun 2001 17:06:18 +0200 resolved name clash
paulson [Tue, 26 Jun 2001 17:06:18 +0200] rev 11384
resolved name clash
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip