Skip to content

GitLab

Switch branch/tag
  1. 04 May, 2010 3 commits
  3. 30 Apr, 2010 20 commits
  5. 29 Apr, 2010 1 commit
    • Simon Marlow's avatar
      Use tex4ht to format the HTML version · fc6a4cb0
      Simon Marlow authored 
      The new HTML output is much better-looking.

Also, switch to use the verbatim environment for code, after much
fighting with LaTeX.  This generates less HTML, and it looks better.
      fc6a4cb0
  7. 28 Apr, 2010 16 commits