From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: weis Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id TAA24301 for caml-redistribution; Mon, 24 Feb 1997 19:06:04 +0100 (MET) Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id NAA16511 for ; Mon, 24 Feb 1997 13:13:55 +0100 (MET) Received: from peray.inria.fr (peray.inria.fr [128.93.8.98]) by concorde.inria.fr (8.7.6/8.7.3) with SMTP id NAA00590 for ; Mon, 24 Feb 1997 13:13:54 +0100 (MET) Received: by peray.inria.fr; Mon, 24 Feb 1997 13:13:53 +0100 From: Daniel de Rauglaudre Message-Id: <199702241213.AA06006@peray.inria.fr> Subject: ledit bug "paste" To: caml-list@inria.fr Date: Mon, 24 Feb 1997 13:13:53 +0100 (MET) Mime-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit Sender: weis Since the first distribution of "ledit", a bug has been signaled and it is now fixed. If your "ledit" has this problem, please take the last version: ftp://ftp.inria.fr/lang/chamau/ledit.tar.gz The bug is the following: if you paste a text with a lot of parentheses, it is very slow, for "ledit" wait one second for each closing parenthesis, the time to show the matching opening parenthesis. In the last version, the bug is fixed and the "paste" is immediate. Thank you. -------------------------------------------------------------------------- Daniel de RAUGLAUDRE Projet Cristal - INRIA Rocquencourt Tel: +33 (01) 39 63 53 51 Email: daniel.de_rauglaudre@inria.fr Web: http://pauillac.inria.fr:80/~ddr/ --------------------------------------------------------------------------