wxMaxima 18.11.4 -> 18.12.0 wxMaxima 18.11.4 -> 19.01.0 wxMaxima 18.11.4 -> 18.12.0 wxMaxima 18.11.4 -> 19.01.0