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
format...

something like:

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

to

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

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

tnx for the feedback :-)

p

-- 
++ "All great truths begin as blasphemies." -George Bernard Shaw
++ Please avoid sending me Word or PowerPoint attachments.
   See http://www.fsf.org/philosophy/no-word-attachments.html

-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners