From: "Jocelyn Sérot" <jocelyn.serot@wanadoo.fr>
To: Jean-Christophe.Filliatre@lri.fr (Jean-Christophe Filliatre)
Cc: caml-list@inria.fr
Subject: Re: [Caml-list] poll for a graph library
Date: Thu, 29 Jan 2004 18:21:03 +0100 [thread overview]
Message-ID: <83BFCC5A-527F-11D8-8F60-0003934491C2@wanadoo.fr> (raw)
In-Reply-To: <16409.2937.135897.374276@gargle.gargle.HOWL>
Le 29 janv. 04, à 14:32, Jean-Christophe Filliatre a écrit :
>
> 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
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
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
next prev parent reply other threads:[~2004-01-29 17:19 UTC|newest]
Thread overview: 10+ messages / expand[flat|nested] mbox.gz Atom feed top
2004-01-29 12:34 Jean-Christophe Filliatre
[not found] ` <Pine.LNX.4.58.0401291409180.3416@seekar.cip.physik.uni-muenchen.de>
2004-01-29 13:32 ` Jean-Christophe Filliatre
2004-01-29 14:10 ` Jacques Carette
2004-01-29 14:31 ` Andrew Bagdanov
2004-01-31 13:40 ` Eray Ozkural
2004-01-29 14:54 ` Plotting library (was: Re: [Caml-list] poll for a graph library) Richard Jones
2004-01-29 17:21 ` Jocelyn Sérot [this message]
2004-01-29 22:19 ` [Caml-list] poll for a graph library David MENTRE
2004-01-30 18:24 ` brogoff
2004-01-30 9:40 ` fva
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=83BFCC5A-527F-11D8-8F60-0003934491C2@wanadoo.fr \
--to=jocelyn.serot@wanadoo.fr \
--cc=Jean-Christophe.Filliatre@lri.fr \
--cc=caml-list@inria.fr \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox