ONLINE VERSION A BIT OUT OF DATE -- contact me if you're interested in using it and I'll update things, time permitting

ZapoTeX is a pretty printer, used to integrate nice, syntax-highlighted Caml, Prolog and B source code in LaTeX documents. It supports advanced features such as aliases (and generalised aliases), which can be defined on the fly. Keywords and such can be defined on the fly as well, no need to edit the lexer or anything. The manual is rather complete in its current state, albeit not always very clear and organised... Questions and suggestions are welcome on this topic.

There you will find an embryo of a user's manual, a linux executable (compiled under Kubuntu 9.10), a Windows executable (compiled using Cygwin; you may need the Cygwin DLL, see below), and the ZapoTeX .tex file.

The source is often much ahead of the compiled binaries; currently only the source has Scheme support)

USING IT

To use ZapoTeX, you need to get zapoml.tex, and an executable that works on your OS. Reading the manual helps as well.

Screenshots of ZapoTeX-rendered Caml code:

And B specification (up: what you write in TeX, down, what you get in DVI/PS/PDF):

And Scheme:

Windows users without Cygwin -- and who wish to stay Cygwin-free -- will want to download the Cygwin DLL without which the exectuable which I offer for download will not work. Just put it in the same directory as the ZapoTeX executable.