Además tiene un depurador a nivel de fuente para el código de Maxima.