Dear Developers,
(i) Isabelle/Hol has x / 0 = 0, (for 0 and x both real numbers); have
you considered the same for Maxima, or being able to set this option in
preferences?
(ii) Proof-General provides a nice environment to work within, including
unicode tokens - have you considered this environment for Maxima, or at
least some of the Proof General idiom for WxMaxima?
Regards,
Jalaluddin