On 2/20/07, Ryan Krauss <ryanlists at gmail.com> wrote: > I have been using wxMaxima a lot lately. What does its restart menu option do? It quits and restarts maxima. -- Andrej