On Fri, 19 May 2006, Oliver Bandel wrote:

> It's nice that you have embedded LaTeX-code in your comments.
> With which tool do you generate your documentation?
> If there is such a LP-tool I also would use it, if freely available.

I use ocamlweb <http://www.lri.fr/~filliatr/ocamlweb/>.

William D. Neumann

---

"There's just so many extra children, we could just feed the
children to these tigers.  We don't need them, we're not doing 
anything with them.

Tigers are noble and sleek; children are loud and messy."

         -- Neko Case

Life is unfair.  Kill yourself or get over it.
 	-- Black Box Recorder