[Maxima] (xmaxima) batching files ending with a space

[Fabrizio Caruso]

Hi again

(sorry if this message gets posted twice)

xmaxima still has a problem when batching files
ending with comments but now I found out
that the same problem shows up when a file ends
in different ways.

For instance xmaxima cannot batch properly:
"
...
0;[one space](no CR)
"

Deleting the last one space or inserting a CR character
avoids the problem.
A
So the problem is bigger than I thought.

   Fabrizio