558224994b6a
f371f06c9d0c
1 2 3
4 5
6 7 8
[ { type: install message: <<EOM When you update wxMaxima or maxima, you should delete the file .wxMaxima in your home directory. EOM } ]