May 6, 2011
2:59 p.m.
On May 6, 2011, at 05:34, Stéphane Ducasse wrote:
Probably we should find a way to generate HTML from PDF or Latex. Any ideas?
HeVeA - it's even an Inria thing! http://hevea.inria.fr/ ../Dave