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 CAA28579; Thu, 13 Sep 2001 02:11:22 +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 CAA28230 for <caml-list@pauillac.inria.fr>; Thu, 13 Sep 2001 02:11:20 +0200 (MET DST)
Received: from jupiter.duonix.com ([211.41.0.239])
	by nez-perce.inria.fr (8.11.1/8.10.0) with ESMTP id f8D0BJT13281
	for <caml-list@inria.fr>; Thu, 13 Sep 2001 02:11:19 +0200 (MET DST)
Received: from hama (hama.duonix.com [192.168.1.30])
	by jupiter.duonix.com (8.11.2/8.11.2) with SMTP id f8D0Bki08191;
	Thu, 13 Sep 2001 09:11:46 +0900
Message-ID: <007d01c13be9$00010490$1e01a8c0@hama>
From: "SooHyoung Oh" <shoh@duonix.com>
To: "Markus Mottl" <markus@mail4.ai.univie.ac.at>
Cc: <caml-list@inria.fr>
References: <001301c13aa5$9ffff090$422aa8c0@housemarque.fi> <qtln142ys09.fsf@pochi.inria.fr> <20010911120635.A22749@kastanie.ai.univie.ac.at>
Subject: Re: [Caml-list] line number for assert
Date: Thu, 13 Sep 2001 09:14:04 +0900
MIME-Version: 1.0
Content-Type: text/plain;
	charset="iso-8859-1"
Content-Transfer-Encoding: 7bit
X-Priority: 3
X-MSMail-Priority: Normal
X-Mailer: Microsoft Outlook Express 5.50.4522.1200
X-MimeOLE: Produced By Microsoft MimeOLE V5.50.4522.1200
Sender: owner-caml-list@pauillac.inria.fr
Precedence: bulk


Could you explain how to use "vim" for assert?

---
SooHyoung Oh
----- Original Message -----
From: "Markus Mottl" <markus@mail4.ai.univie.ac.at>
To: "David Mentre" <David.Mentre@inria.fr>
Cc: "Vesa Karvonen" <vesa.karvonen@housemarque.fi>; <caml-list@inria.fr>
Sent: Tuesday, September 11, 2001 7:06 PM
Subject: Re: [Caml-list] line number for assert


> On Tue, 11 Sep 2001, David Mentre wrote:
> > > The reason why I'm asking this is that it makes it much more difficult
to find
> > > the right assertion on most editors.
> >
> > Except with emacs. :)
>
> And except with Vim. :)
>
> Best regards,
> Markus Mottl
>
> --
> Markus Mottl                                             markus@oefai.at
> Austrian Research Institute
> for Artificial Intelligence                  http://www.oefai.at/~markus
> -------------------
> 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

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