From: Hendrik Tews <tews@tcs.inf.tu-dresden.de>
To: caml-list@inria.fr
Subject: Re: O'Caml prettyprinting to TeX/LaTeX anyone?
Date: Mon, 9 Mar 1998 14:06:53 +0100 [thread overview]
Message-ID: <199803091306.OAA01172@ithif18.inf.tu-dresden.de> (raw)
In-Reply-To: <199803041607.RAA31788@heplix.ikp.physik.tu-darmstadt.de>
Hi,
Has anybody looked into pretty printing O'Caml to TeX and/or LaTeX?
It should be possible with camlp4, but it doesn't appear to be a
simple rainy afternoon's hack. Or is simple textual substitution
my best bet? Is it worth the effort or is legibility not improved?
I use a rather old version of lgrind. I think we installed it
about 5 years ago. It does a very good job, I use it for all
source code printing. lgrind is said to be similar to vgrind
except that it produces latex. I use it with the following
.lgindefs entry:
caml|Caml light:\
:cb=\(*:ce=*\):\
#lb=':le=\e':\
sb=":se=\e":bb=begin:be=end:\
:tb=%%:te=%%:mb=%\$:me=\$%:vb=%\|:ve=\|%:\
:id=_':\
:kw=and as asr begin class closed\
constraint do done downto else end exception external\
false for fun function functor if in include inherit\
land let lor lsl lsr lxor match method mod module mutable\
new of open or parser private rec sig struct then to true\
try type val virtual when while with:\
:pl:px=\dlet:pb=let:
There is also a tgrind, which produces tex. Let me know if you
can not find it on the net, I might find it on my disc. If you
are going to give it a try I am happy to share my experience in
changing fonts, supressing line numbers etc ...
Bye,
Hendrik
-----------------------------------------------------------------
Hendrik Tews PhD student in theoretical computer science
at Dresden University of Technology, Germany
e-mail: tews@tcs.inf.tu-dresden.de
www: http://wwwtcs.inf.tu-dresden.de/~tews
pgp key: http://wwwtcs.inf.tu-dresden.de/~tews/pgpkey.asc
-----------------------------------------------------------------
prev parent reply other threads:[~1998-03-09 16:30 UTC|newest]
Thread overview: 2+ messages / expand[flat|nested] mbox.gz Atom feed top
1998-03-04 16:07 Thorsten Ohl
1998-03-09 13:06 ` Hendrik Tews [this message]
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=199803091306.OAA01172@ithif18.inf.tu-dresden.de \
--to=tews@tcs.inf.tu-dresden.de \
--cc=caml-list@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