on sci.math.symbolic somebody asked for worksheet stuff again. I
recommended emacs, but looked also at save(file,all); which seems to be
slightly broken.
It writes
(DEFPROP $DVA #<compiled-closure 088040e0> TRANSLATED-MMACRO)
(DEFPROP $DVA T TRANSLATED)
into my file, when I delete these two lines it works perfectly all right.
Is there an easy fix?
Martin