Ubuntu
maxima package

  1. Bug #825243
  2. Comment #8

Comment 8 for bug 825243

Revision history for this message
PeterPall (peterpall) wrote :

That explains why I am not experiencing this even after setting up two test systems (shame on me: There was no indication that this bug is about wxMaxima): I am using wxMaxima. Which is a fine graphical frontend, by the way.

Are you using rmaxima or just a plain maxima?