> That's a long story, but it should be considered a bug, too. Before I do
> anything about it, though, I need to where your "maxima_history" is
> coming from. (Technically, it isn't maxima that writes maxima_history,
> but it should get fixed, anyway.) Are you using rmaxima, or something else?
>
Yes, I'm using rmaxima, and that's also producing that .maxima_history.
(That is, just using maxima doesn't create .maxima_history.)
Oliver
--
Dr. Oliver Kullmann
Computer Science Department
Swansea University
Faraday Building, Singleton Park
Swansea SA2 8PP, UK
http://cs.swan.ac.uk/~csoliver/