Comment 10 for bug 58498

Revision history for this message
Andrea Gamba (andrea-gamba) wrote :

The problem with maxima is still the old one: one has to modify maxima_detect by hands.