From mboxrd@z Thu Jan  1 00:00:00 1970
Received: by margaux.inria.fr, Fri, 23 Apr 93 14:04:48 +0200
Received: from concorde.inria.fr by margaux.inria.fr, Thu, 22 Apr 93 20:58:24 +0200
Received: from Tamuz.Stanford.EDU by concorde.inria.fr; Thu, 22 Apr 1993 20:58:38 +0200
Received:  by Tamuz.Stanford.EDU (5.61/25-theory-eef) id AA12377; Thu, 22 Apr 93 11:58:31 -0700
From: Xavier Leroy <xavier@Theory.Stanford.EDU>
Message-Id: <9304221858.AA12377@Tamuz.Stanford.EDU>
Subject: Re: Defining own types printers.
To: Pierre.Weis@inria.fr (Pierre Weis)
Date: Thu, 22 Apr 1993 11:58:30 -0700 (PDT)
In-Reply-To: <9304220845.AA07570@margaux.inria.fr> from "Pierre Weis" at Apr 22, 93 10:45:57 am
Content-Type: text/plain
Sender: weis@margaux


> >         new_printer "t_bdd_tree" print_bdd;;
> Il me semble que cette question et sa re'ponse est interessante pour
> tout le monde. Puis-je les bouncer ds la tribune de discussion de Caml ?

Oui, certainement, quoique du coup j'aurais pu repondre en anglais.

- Xavier