From mboxrd@z Thu Jan  1 00:00:00 1970
Received: (from weis@localhost) by pauillac.inria.fr (8.6.10/8.6.6) id QAA15334 for caml-redistribution; Wed, 16 Oct 1996 16:18:20 +0200
Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.6.10/8.6.6) with ESMTP id KAA10571 for <caml-list@pauillac.inria.fr>; Wed, 16 Oct 1996 10:24:56 +0200
Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by concorde.inria.fr (8.7.6/8.7.1) with ESMTP id KAA28273; Wed, 16 Oct 1996 10:24:56 +0200 (MET DST)
Received: (from xleroy@localhost) by pauillac.inria.fr (8.6.10/8.6.6) id KAA10567; Wed, 16 Oct 1996 10:24:55 +0200
From: Xavier Leroy <Xavier.Leroy@inria.fr>
Message-Id: <199610160824.KAA10567@pauillac.inria.fr>
Subject: Re: where is 'camldebug'?
To: sca.bbs@cis.nctu.edu.tw
Date: Wed, 16 Oct 1996 10:24:54 +0200 (MET DST)
Cc: caml-list@inria.fr
In-Reply-To: <19961013960108.AA10262@cis.nctu.edu.tw> from "sca.bbs@cis.nctu.edu.tw" at Oct 13, 96 09:08:31 am
MIME-Version: 1.0
Content-Type: text/plain; charset=US-ASCII
Content-Transfer-Encoding: 7bit
Sender: weis


>   From the /lang/caml-light/Usercontribs, in ftp.inria.fr,
> I found 'caml-mode-0.72.*', and saw enclosed this file:
> 'camldebug.el'.  Do you know where to locate such 'camldebug'
> program?
> Using Object Caml v1.02, PC/linux.

The Caml debugger "camldebug" is currently available only for Caml
Light, and can be found in the Caml Light distribution. Some work has
been done on porting the debugger to Objective Caml, but it's not
finished yet.

- Xavier Leroy