Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
[Caml-list] can I use camlp4 to output latex ?
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Pietro Abate <Pietro.Abate@a...>
Subject: Re: [Caml-list] can I use camlp4 to output latex ?
On Fri, Apr 02, 2004 at 06:51:13AM +0200, Basile STARYNKEVITCH wrote:
> On Fri, Apr 02, 2004 at 10:45:18AM +1000, Pietro Abate wrote:
> > I'd like to use camlp4 to pretty print my files (pseudo-ocaml) in latex.
> This is the job of ocamldoc (which already knows how to output
> LaTeX). Why don't you use ocamldoc?

because ocamldoc doesn't know about my camlp4-sh syntax ... do you
propose to hack ocamldoc to understand my syntax and then write ad-hoc
output functions ? I hope there's a better solution :-((

actually, my pretty print is not going to be just ocaml code + color in
latex, but a total rewrite of my rules/code in a human readable

something like:

let or =
	let a = prem { A ; B ; X }
	and b = concl { A v B ; X }
in rule (a,b)


\frac{or}{A ; B ; X}{A v B ; X} 

... don't know if it's legitmate latex code ...

tnx for the feedback :-)


++ "All great truths begin as blasphemies." -George Bernard Shaw
++ Please avoid sending me Word or PowerPoint attachments.

To unsubscribe, mail Archives:
Bug reports: FAQ:
Beginner's list: