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 MAA15660; Thu, 14 Jun 2001 12:32:13 +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 MAA15774 for ; Thu, 14 Jun 2001 12:32:12 +0200 (MET DST) Received: from ip208.usw4.rb1.pdx.nwlink.com (ip208.usw4.rb1.pdx.nwlink.com [209.20.133.208]) by nez-perce.inria.fr (8.11.1/8.10.0) with SMTP id f5EAWAj03905 for ; Thu, 14 Jun 2001 12:32:10 +0200 (MET DST) Received: (qmail 31573 invoked by uid 500); 14 Jun 2001 10:32:09 -0000 Date: Thu, 14 Jun 2001 03:32:09 -0700 From: leary@nwlink.com To: Jacques Garrigue Cc: caml Subject: Re: [Caml-list] Caml toplevel and readline Message-ID: <20010614033209.A28719@jean> References: <3B2796C1.9144F7AE@ozemail.com.au> <20010614154525K.garrigue@kurims.kyoto-u.ac.jp> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline User-Agent: Mutt/1.2.5i In-Reply-To: <20010614154525K.garrigue@kurims.kyoto-u.ac.jp>; from garrigue@kurims.kyoto-u.ac.jp on Thu, Jun 14, 2001 at 03:45:25PM +0900 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk On Thu, Jun 14, 2001 at 03:45:25PM +0900, Jacques Garrigue wrote: > But there are plenty of external alternatives: using emacs, using > ocamlbrowser's shell, using ledit. > ledit is a tool written in camlp4 by Daniel de Raglaudre > which allows line editing on any program. > http://cristal.inria.fr/~ddr/index-english.html > Linking the editing code of ledit with the toplevel might also be an > option. OK, I've got ledit working. :) Anyone made a vi mode/version? ------------------- Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr