hello,every one, I am using maxiam 5.19 and wxmaxima 0.8. I am very strange to find that, the source file (*.wxm) are properly saved sometimes. I cannot figure out the reason. Are there someone can give me some illumination? Thank you very much! yours mogeiwang