Re: Reading a file and converting the input to integers...

Hi Kish,

   Sorry about the second message. I initially sent it from my personal 
e-mail by mistake and thought it would get rejected so I sent it from 
the one I had registered under. Sorry in it has caused any confusion. 
I'm just after sending more details to Warwick. I'm not sure if he will 
get the e-mail since they seem to bounce when I respond directly to him. 
Is there a reason for this?

I was looking for an easier way of doing this. My approach is 
convoluted. I have been using Eclipse for only a few weeks and this is 
the first time I've tried to do this. What I/O facility allows me to do 
this like you say? Is it read_term?

Best,
Mark.