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 SAA17273; Thu, 29 Jan 2004 18:19:10 +0100 (MET) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f 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 SAA17692 for ; Thu, 29 Jan 2004 18:19:09 +0100 (MET) Received: from mwinf0102.wanadoo.fr (smtp1.wanadoo.fr [193.252.22.30]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id i0THJ9P20992 for ; Thu, 29 Jan 2004 18:19:09 +0100 (MET) Received: from [193.252.188.92] (AClermont-Ferrand-101-1-2-92.w193-252.abo.wanadoo.fr [193.252.188.92]) by mwinf0102.wanadoo.fr (SMTP Server) with ESMTP id 83FA81BE7A2F; Thu, 29 Jan 2004 18:19:08 +0100 (CET) In-Reply-To: <16409.2937.135897.374276@gargle.gargle.HOWL> References: <16408.64997.828000.931868@gargle.gargle.HOWL> <16409.2937.135897.374276@gargle.gargle.HOWL> Mime-Version: 1.0 (Apple Message framework v606) Content-Type: text/plain; charset=ISO-8859-1; format=flowed Message-Id: <83BFCC5A-527F-11D8-8F60-0003934491C2@wanadoo.fr> Content-Transfer-Encoding: quoted-printable Cc: caml-list@inria.fr From: =?ISO-8859-1?Q?Jocelyn_S=E9rot?= Subject: Re: [Caml-list] poll for a graph library Date: Thu, 29 Jan 2004 18:21:03 +0100 To: Jean-Christophe.Filliatre@lri.fr (Jean-Christophe Filliatre) X-Mailer: Apple Mail (2.606) X-Loop: caml-list@inria.fr X-Spam: no; 0.00; jocelyn:01 serot:01 jocelyn:01 serot:01 caml-list:01 32,:01 filliatre:01 graphviz:01 v-bpclermont:01 s-mail:01 lasmea:01 6602:01 63177:01 aubiere:01 wwwlasmea:01 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Le 29 janv. 04, =E0 14:32, Jean-Christophe Filliatre a =E9crit : > > 3. Utilities, such as a graphviz output --- an ascii output in the > DOT format to be precise (So we are not re-implementing a graph > layout library). > Also a way of _reading_ DOT file formats ? JS -- E-mail: Jocelyn.Serot@l_a_s_m_e_a.u_n_i_v-bpclermont.fr S-mail: LASMEA - UMR 6602 CNRS, Universite Blaise Pascal, 63177 Aubiere=20= cedex Tel: +33.(0)4.73.40.73.30 - Fax: +33.(0)4.73.40.72.62 http://wwwlasmea.univ-bpclermont.fr/Personnel/Jocelyn.Serot/Welcome.html Valid e-mail: remove underscores (sorry, this is prevention against=20 junk mail) ------------------- 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/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners