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.
DOWNLOADS: http://files.vhugot.com/progs/ZapoTeX/latest
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 OCaml source code for ZapoTeX is available here in my repository.
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. It may also be needed if you use a different version of Cygwin (from 1.7.x). When in doubt, take the DLL...
01 Nov 2010, 17:25: original version.
03 Sept. 2011: major update of everything
19 Oct. 2011: major update of everything
29 July 2012: Scheme support added (source version only)
ZapoTeX: Source Code to LaTeX translation
ZapoTeX: Source Code to LaTeX translation
Last edited by Vincent on Tue Mar 24, 2015 8:51 pm, edited 1 time in total.
Reason: up
Reason: up
{ Vincent Hugot }
Re: ZapoTeX: Source Code to LaTeX translation
r812:
Now with added support for both Prolog and B. Among other things.
For now, Prolog aliases are very tentative, as I don't know what is commonly used in the literature.
Now with added support for both Prolog and B. Among other things.
For now, Prolog aliases are very tentative, as I don't know what is commonly used in the literature.
{ Vincent Hugot }
Re: ZapoTeX: Source Code to LaTeX translation
r818:
BEWARE: interface change for --tex, --ml, etc.... see --help
NOTE: the manual's examples are not up-to-date yet and do not reflect those changes.
BEWARE: interface change for --tex, --ml, etc.... see --help
NOTE: the manual's examples are not up-to-date yet and do not reflect those changes.
{ Vincent Hugot }
Re: ZapoTeX: Source Code to LaTeX translation
Added Scheme support in source code version.
(commit 618a)
(commit 618a)
{ Vincent Hugot }
Who is online
Users browsing this forum: No registered users and 54 guests