Re: line editor for camllight

Xavier Leroy (diderich@di.epfl.ch)
11 Feb 94 08:36:00+0100

Date: 11 Feb 94 08:36:00+0100
From: " (Claude Diderich)" <diderich@di.epfl.ch>
Message-Id: <9402110736.AA14157@lithsun2.epfl.ch>
To: caml-list@margaux.inria.fr
Subject: Re: line editor for camllight

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
-----------------------------------------------------------------------------