On Tue, 5 Mar 2002, Josh Wilmes wrote: > We should rename all the PDDs to be consistent. I propose:
Yes, as I've hinted in the past. > old name new name title > -------------- -------------------- -------------------------------------------- > pdd8?? ?? ?? This might be bignums, which I've been a bit too busy to finish and commit. Alex Gough
