2009-01-28 | adam | use urlify more in Html.lhs | commit | commitdiff |
2009-01-28 | adam | use nowrap on pre-blocks | commit | commitdiff |
2009-01-28 | adam | just a comment | commit | commitdiff |
2009-01-28 | adam | handle LeftArrow and Rightarrow properly in Html | commit | commitdiff |
2009-01-28 | adam | add imagec and image2 commands (may be removed later) | commit | commitdiff |
2009-01-28 | adam | change shade of red in warn-boxes | commit | commitdiff |
2008-04-10 | adam | add copyright notices | commit | commitdiff |
2008-04-10 | adam | add support for simple comments | commit | commitdiff |
2008-04-10 | adam | change visual appearance of links in html | commit | commitdiff |
2008-04-10 | adam | fix handling of ordinals | commit | commitdiff |
2008-04-10 | adam | improve html escapification in \pre blocks | commit | commitdiff |
2008-04-10 | adam | inline icon images into html files | commit | commitdiff |
2008-04-10 | adam | improve SBP bindings | commit | commitdiff |
2007-05-27 | adam | checkpoint | commit | commitdiff |
2007-05-23 | adam | initial release | commit | commitdiff |