Beautified caml.ps

From: Esperet Philippe (100060.2106@compuserve.com)
Date: Tue Feb 04 1997 - 13:51:00 MET


Date: 04 Feb 97 07:51:00 EST
From: Esperet Philippe <100060.2106@compuserve.com>
To: liste Caml <caml-list-request@pauillac.inria.fr>
Subject: Beautified caml.ps

% 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
"<>" ?

   

    



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