2009-01-28 | adam | use urlEscape more often in Doc.lhs | commit | commitdiff |
2009-01-28 | adam | handle LeftArrow and Rightarrow properly in Html | commit | commitdiff |
2009-01-28 | adam | update handling of %-escapes in urls | commit | commitdiff |
2008-04-10 | adam | add copyright notices | commit | commitdiff |
2008-04-10 | adam | fix handling of ordinals | 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 |