Did set up a nightly build ppa (https://launchpad.net/~peterpall/+archive/ubuntu/wxmaxima-nightlies). Today the handling for umlaute is still broken there - but tomorrow the problem should be fixed there.
Did set up a nightly build ppa (https:/ /launchpad. net/~peterpall/ +archive/ ubuntu/ wxmaxima- nightlies). Today the handling for umlaute is still broken there - but tomorrow the problem should be fixed there.