************************************************************************

    When you update wxMaxima or maxima, you should delete the file
    .wxMaxima in your home directory.

************************************************************************
