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 WAA18370; Tue, 29 Jan 2002 22:44:20 +0100 (MET) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id WAA20365 for caml-list@pauillac.inria.fr; Tue, 29 Jan 2002 22:44:19 +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 SAA29537 for ; Mon, 28 Jan 2002 18:35:59 +0100 (MET) Received: from shiva.jussieu.fr (shiva.jussieu.fr [134.157.0.129]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id g0SHZxH10598 for ; Mon, 28 Jan 2002 18:35:59 +0100 (MET) Received: from foobar.pps.jussieu.fr (IDENT:root@helium.pps.jussieu.fr [134.157.168.2]) by shiva.jussieu.fr (8.12.1/jtpda-5.4) with ESMTP id g0SHZwYD049891 ; Mon, 28 Jan 2002 18:35:58 +0100 (CET) Received: from beryllium.pps.jussieu.fr (IDENT:dicosmo@foobar.pps.jussieu.fr [134.157.168.2]) by foobar.pps.jussieu.fr (8.11.0/jtpda-5.3.2) with ESMTP id g0SHkZg18400 ; Mon, 28 Jan 2002 18:46:35 +0100 From: Roberto Di Cosmo MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Message-ID: <15444.28880.892742.612688@localhost.localdomain> Date: Sun, 27 Jan 2002 22:27:44 +0100 (CET) To: Christophe Raffalli Cc: Roberto Di Cosmo , caml-list@inria.fr, david.marsal@free.fr Subject: Re: [Caml-list] Compiler ActiveDVI (CVS) In-Reply-To: <3C512C4D.BC085A96@univ-savoie.fr> References: <200201250916.g0P9GMf10437@foobar.pps.jussieu.fr> <3C512C4D.BC085A96@univ-savoie.fr> X-Mailer: VM 6.72 under 21.1 (patch 9) "Canyonlands" XEmacs Lucid Reply-To: Roberto Di Cosmo Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk >>>>> "CR" == Christophe Raffalli writes: CR> Il ne reste plus qu'a implanter le clic dans le dvi qui vous renvoie CR> dans le source LaTeX sous emacs/Xemacs et le clic dans l'autre sens :-) C'est possible avec whyzzitex (voir la page web de Didier Remy) :-) --Roberto ------------------- 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