March 2006
SourceForge.net: Files
Event B LaTeX style / RODIN project
The HEVEA Home page
HEVEA is a quite complete and fast LATEX to HTML translator. HEVEA is written in Objective Caml. HEVEA now renders symbols by using the so-called HTML “entites”. Modern browsers display those entities correctly most of the time. By contrast, previo
January 2006
1
(8 marks)
