Hugs editing on Mac.

Johan Nordlander nordland@cse.ogi.edu
Fri, 16 Nov 2001 07:53:45 -0800


Hi Julio,

What version of Hugs are you using?

-- Johan

On Friday, November 16, 2001, at 02:53  AM, Julio Rubio Garcia wrote:

> Dear colleagues,
> I'm planning to teach a course about Algorithms and
> Data Structures, by using Hugs.
> My students have MacIntosh computers (o.s. Mac OS
> E1-9.1). When I try to use the -E option (with
> :set or in the Preferences file), I obtain a
> nice little bomb (rather the equivalent to a bomb
> in this modern O.S.). What's the problem ?
> Thank you in advance for your answer.
> Sincerely yours, JULIO.