From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by yquem.inria.fr (Postfix) with ESMTP id D2179BB81 for ; Mon, 28 Nov 2005 09:13:10 +0100 (CET) Received: from mxintern.schlund.de (mxintern.kundenserver.de [212.227.126.201]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id jAS8DA3Y029458 for ; Mon, 28 Nov 2005 09:13:10 +0100 Received: from [172.17.36.11] (helo=schluck.use.schlund.de) by mxintern.kundenserver.de with esmtp (Exim 4.34) id 1Ege8L-00080d-P0; Mon, 28 Nov 2005 09:13:10 +0100 From: Michael Wohlwend To: caml-list@yquem.inria.fr, caml-list@inria.fr Subject: Re: [Caml-list] ile ou un remplacement? Date: Mon, 28 Nov 2005 09:13:09 +0100 User-Agent: KMail/1.8.3 References: <20051127190428.O32806@bowser.eecs.harvard.edu> <20051128004601.GA14774@localhost> In-Reply-To: <20051128004601.GA14774@localhost> X-Face: S)[vu%Bha1d&ej9GfwAq~7C}A,y[B.uS}+D6'hb~xPwsxymw$fnCOaMe<=?utf-8?q?*bnUajSBR=5Fm=3FR=0A=09?=@V3;iX8[A}z`.%pEQ1r7iZhN8#ktTCBQ}&mkx>=RH&l|l6\]NZI@ MIME-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: 7bit Content-Disposition: inline Message-Id: <200511280913.09341.micha-1@fantasymail.de> X-Virus-Scanned: Symantec AntiVirus Scan Engine X-Miltered: at nez-perce with ID 438ABC16.001 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; caml-list:01 remplacement:01 remplacement:01 ledit:01 rauglaudre:01 readline:01 46,:98 wrote:01 wrote:01 cristal:01 lex:01 debian:02 caml:02 alexander:02 daniel:04 X-Spam-Checker-Version: SpamAssassin 3.0.3 (2005-04-27) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.1 required=5.0 tests=FORGED_RCVD_HELO autolearn=disabled version=3.0.3 On Monday 28 November 2005 01:46, Eric Cooper wrote: > On Sun, Nov 27, 2005 at 07:08:58PM -0500, Christopher Alexander Stein wrote: > > J'avais l'habitude d'avoir une utilit trs commode pour Caml; la > > ligne ditant "ile" qui envelopperait l'interprteur. Je puis plus > > ne le trouver sur le web. N'importe qui savent o il est ou > > suggrent un remplacement? Merci! Lex > > Try ledit, available as a Debian package or from > ftp://ftp.inria.fr/INRIA/cristal/Daniel.de_Rauglaudre/Tools/ there is also rlwrap which is easier to use. (readline wrap) Michael