From mboxrd@z Thu Jan  1 00:00:00 1970
Received: by pauillac.inria.fr; Thu, 10 Feb 94 20:33:13 +0100
Received: from margaux.inria.fr by pauillac.inria.fr; Thu, 10 Feb 94 20:28:37 +0100
Received: from concorde.inria.fr by margaux.inria.fr, Thu, 10 Feb 94 20:28:33 +0100
Received: from Tamuz.Stanford.EDU by concorde.inria.fr; Thu, 10 Feb 1994 20:28:31 +0100
Received:  by Tamuz.Stanford.EDU (5.61/25-theory-eef) id AA24824; Thu, 10 Feb 94 11:25:19 -0800
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)
Cc: caml-list@margaux.inria.fr
In-Reply-To: <9402101322.AA01284@Pantaleon > from "Jairo A. Medina" at Feb 10, 94 09:22:30 am
Content-Type: text/plain
Sender: weis@pauillac.inria.fr

> 	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