Re: line editor for camllight

Xavier Leroy (xavier@Theory.Stanford.EDU)
Thu, 10 Feb 1994 11:25:18 -0800 (PST)

From: Xavier Leroy <xavier@Theory.Stanford.EDU>
Message-Id: <9402101925.AA24824@Tamuz.Stanford.EDU>
Subject: Re: line editor for camllight
To: jairo@cesma.usb.ve (Jairo A. Medina)
Date: Thu, 10 Feb 1994 11:25:18 -0800 (PST)
In-Reply-To: <9402101322.AA01284@Pantaleon > from "Jairo A. Medina" at Feb 10, 94 09:22:30 am

> Hola:
> Do you know where can i find a line editor for camllight?.
> if you do, or you have it could you please tell me?
> I have bash, does bash works, how?.

No, bash has a fine line editor, but only to edit its own command
lines; the line editor is not active when you run another command such
as camllight.

I suggest fep (ftp.inria.fr:system/user/fep.tar.Z). Last time I
checked out, it worked fine with camllight.

Hasta la vista,

- Xavier Leroy