Resetting Maxima to default state?



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