Greetings! Has anyone fixed the xmaxima shutdown problem discussed
here a while ago? Just as a reminder, shutting down xmaxima from the
menus leaves a saved_maxima process taking up 100% cpu.
Take care,
--
Camm Maguire camm@enhanced.com
==========================================================================
"The earth is but one country, and mankind its citizens." -- Baha'u'llah