From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id HAA31398; Wed, 29 May 2002 07:45:08 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id HAA31382 for ; Wed, 29 May 2002 07:45:08 +0200 (MET DST) Received: from tw304h3.cpmc.columbia.edu (tw304h3.cpmc.columbia.edu [156.111.84.180]) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id g4T5j7j19833 for ; Wed, 29 May 2002 07:45:07 +0200 (MET DST) Received: from trott by tw304h3.cpmc.columbia.edu with local (Exim 3.35 #1 (Debian)) id 17CwJO-00007e-00 for ; Wed, 29 May 2002 01:47:54 -0400 Content-Type: text/plain; charset="iso-8859-1" From: Oleg To: OCaml Mailing list Subject: Re: [Caml-list] Readline support in the toplevel loop Date: Wed, 29 May 2002 01:47:54 -0400 X-Mailer: KMail [version 1.3.2] References: <20020529011820.GA2876@vincent> <20020529043006.A6937@verdot.inria.fr> In-Reply-To: <20020529043006.A6937@verdot.inria.fr> MIME-Version: 1.0 Content-Transfer-Encoding: 8bit Message-Id: Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk On Tuesday 28 May 2002 10:30 pm, Daniel de Rauglaudre wrote: > Hi, > > On Tue, May 28, 2002 at 09:18:20PM -0400, Vincent Foley wrote: > > Is it possible to have readline support in the toplevel loop of O'Caml > > so that you can press the up key to recall something you already wrote, > > and go back to edit other things. Is it possible? > > Ledit: > ftp://ftp.inria.fr/INRIA/Projects/cristal/Daniel.de_Rauglaudre/Tools/ Makes one wonder why it's not part of the standard distribution. BTW this works with CMU Common Lisp too. I'm very glad. Oleg ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners