Pretty-printing help

From: Hugues CASSE (casse@irit.fr)
Date: Thu Mar 18 1999 - 15:37:43 MET

Next message: Pierre Weis: "Re: Pretty-printing help"
Previous message: Ian T Zimmerman: "Re: config info"
In reply to: David Gurr: "config info"
Next in thread: Pierre Weis: "Re: Pretty-printing help"
Maybe reply: Pierre Weis: "Re: Pretty-printing help"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Date: Thu, 18 Mar 1999 15:37:43 +0100
From: Hugues CASSE <casse@irit.fr>
To: CAML <caml-list@inria.fr>
Subject: Pretty-printing help

Help ! I'm attempting to use the pretty-printer `Format' to display a
C program, that is, some text with growing and decreasing tabulations.
I look for a function to increase tabulation and another one to
decrease tabulation. It don't understand how the parameter `d' of
"open_box d" works ?
Please, some-one could help me ?

-- 
------------------------------------------------------------------------
CASSE Hugues             |Heureux qui,comme Ulysse,a fait un beau voyage
IRIT, 1R1, p14	         |Ou comme celui-la qui conquit la Toison,
                         |Et puis est retourne plein d'usage et raison,
PHONE: (+33)5-61-556-611 |Vivre entre ses parents le reste de son age !
       (poste 73-20)     |                        Les Regrets, Du Bellay
------------------------------------------------------------------------
mailto:casse@irit.fr                    http://www.irit.fr/~Hugues.Casse

Next message: Pierre Weis: "Re: Pretty-printing help"
Previous message: Ian T Zimmerman: "Re: config info"
In reply to: David Gurr: "config info"
Next in thread: Pierre Weis: "Re: Pretty-printing help"
Maybe reply: Pierre Weis: "Re: Pretty-printing help"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

This archive was generated by hypermail 2b29 : Sun Jan 02 2000 - 11:58:21 MET