From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id OAA02360 for caml-redistribution; Tue, 4 Feb 1997 14:54:20 +0100 (MET) Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id NAA01432 for ; Tue, 4 Feb 1997 13:53:06 +0100 (MET) Received: from hil-img-3.compuserve.com (hil-img-3.compuserve.com [149.174.177.133]) by concorde.inria.fr (8.7.6/8.7.3) with SMTP id NAA05352 for ; Tue, 4 Feb 1997 13:53:05 +0100 (MET) Received: by hil-img-3.compuserve.com (8.6.10/5.950515) id HAA25027; Tue, 4 Feb 1997 07:52:32 -0500 Date: 04 Feb 97 07:51:00 EST From: Esperet Philippe <100060.2106@compuserve.com> To: liste Caml Subject: Beautified caml.ps Message-ID: <970204125059_100060.2106_JHB60-2@CompuServe.COM> Sender: weis % 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 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 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 "<>" ?