From mboxrd@z Thu Jan 1 00:00:00 1970 Received: by pauillac.inria.fr; Fri, 11 Feb 94 09:17:55 +0100 Received: from margaux.inria.fr by pauillac.inria.fr; Fri, 11 Feb 94 08:36:14 +0100 Received: from concorde.inria.fr by margaux.inria.fr, Fri, 11 Feb 94 08:36:11 +0100 Received: from pamir.inria.fr by concorde.inria.fr; Fri, 11 Feb 1994 08:36:10 +0100 X400-Received: by /PRMD=inria/ADMD=atlas/C=FR/; Relayed; 11 Feb 94 08:36:09+0100 X400-Received: by /PRMD=switch/ADMD=arcom/C=CH/; Relayed; 11 Feb 94 07:36:06 GMT X400-Received: by /PRMD=switch/ADMD=arCom/C=ch/; Relayed; 11 Feb 94 07:36:03 GMT X400-Received: by /PRMD=SWITCH/ADMD=ARCOM/C=CH/; Relayed; 11 Feb 94 08:36:00+0100 X400-Received: by /PRMD=SWITCH/ADMD=ARCOM/C=CH/; Relayed; 11 Feb 94 08:36:00+0100 Date: 11 Feb 94 08:36:00+0100 From: " (Claude Diderich)" Message-Id: <9402110736.AA14157@lithsun2.epfl.ch> To: caml-list@margaux.inria.fr Subject: Re: line editor for camllight Importance: Normal Sender: weis@pauillac.inria.fr Concerning editing one line in CAML-Light, wouldn't it be possibe to have a compile time option that allows the user who has GNU readline to use this one instead of the standard gets, or whatever is used. Claude ----------------------------------------------------------------------------- Claude G. Diderich PGP V2.3 public key available Swiss Federal Institute of Technology, Lausanne ----------------------------- Department of Computer Science Fields of interest: Computer Science Theory Laboratory - Complexity theory CH-1015 Lausanne (Switzerland - Europe) - Combinatorial optimization Phone: (021)/693-52-86 - Parallel computations E-mail: diderich@di.epfl.ch - Lambda calculus -----------------------------------------------------------------------------