From: Esperet Philippe <100060.2106@compuserve.com>
To: liste Caml <caml-list-request@pauillac.inria.fr>
Subject: Beautified caml.ps
Date: 04 Feb 97 07:51:00 EST [thread overview]
Message-ID: <970204125059_100060.2106_JHB60-2@CompuServe.COM> (raw)
% 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
"<>" ?
reply other threads:[~1997-02-04 13:54 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=970204125059_100060.2106_JHB60-2@CompuServe.COM \
--to=100060.2106@compuserve.com \
--cc=caml-list-request@pauillac.inria.fr \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox