caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
* Beautified caml.ps
@ 1997-02-04 12:51 Esperet Philippe
  0 siblings, 0 replies; only message in thread
From: Esperet Philippe @ 1997-02-04 12:51 UTC (permalink / raw)
  To: liste Caml

% camlli10.tex 4-2-1997 (12h:50)


                +-------------------------------------+
                |     Philippe Esperet (France)       |
                |    100060.2106@compuserve.com       |
                |                                     |
                +-------------------------------------+

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
Liste Caml light
email caml-light@pauillac.inria.fr
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
sujet : beautified caml.ps

[Please see below for an English translation]

   J'ai de'couvert ce week-end que le filtre "a2ps", qui
transforme de l'ascii en PostScript, avait une option
"caml" ame'liorant la sortie des listings (sans entrer en
concurrence avec travail de Michel Mauny). Pensant que je
n'e'tais pas le seul a` ignorer l'existence d'"a2ps", je fais
une petite publicite' pour :

demaille@inf.enst.fr <Akim Demaille>
http://www-stud.enst.fr/~demaille/a2ps.html
[seulement sur Unix actuellement, mais le de'veloppement
sous DOS avance] 

   Une question auxiliaire : si l'on doit choisir de
mettre certains mots-cle' du langage en gras et d'autres
non, lesquels choisir ? Je verrais assez ";", ";;", "&&" et
"||" en gras, mais alors quid de "<=" et "<>" ?

   Cordialement


[English version]
%____________________

   I have discovered that the ascii to PostScript filter
"a2ps" had nice features for the Caml language (though not
to be compared to Michel Mauny's program). Maybe I was not
alone to ignore that package, so this a free advertising
for :

demaille@inf.enst.fr <Akim Demaille>
http://www-stud.enst.fr/~demaille/a2ps.html
[available only for Unix platforms for the moment, but DOS port
is going on]

   One other question is : if some of the words in the 
language has to be bold and the other normal, how to decide
between the firsts and the seconds. I would like to have
bold ";", ";;", "&&" and "||", but then what about "<=" or
"<>" ?





   

    








^ permalink raw reply	[flat|nested] only message in thread

only message in thread, other threads:[~1997-02-04 13:54 UTC | newest]

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
1997-02-04 12:51 Beautified caml.ps Esperet Philippe

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).