Version française
Home     About     Download     Resources     Contact us    
Browse thread
Beautified caml.ps
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Esperet Philippe <100060.2106@c...>
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
"<>" ?