revise document in Maxima.