[Usability] Re: changed executable names

[Seth Nickell <snickell stanford edu>]

On Tue, 2002-02-12 at 20:25, John Fleck wrote:
> Folks -
> 
> Have we had a comprehensive list yet of all the executable name
> changes? We need this in order to make the necessary changes in the
> documentation. I've been trying to catch them and file bugs as I seem
> them, but I've no confidence I've noticed them all.
> 
> Seth?

sorry, I know it must seem like I've dropped off the face of the earth
on this. I'll make up the list tomorrow evening after my midterm.

-seth