Ubuntu
wxmaxima package

  1. Bug #732001
  2. Comment #6

Comment 6 for bug 732001

Revision history for this message
PeterPall (peterpall) wrote :

Is this bug still valid?
The last time I tried unicode chars un Trusty - it seemed to work for me.