[cvs-nhc98] patch applied (hat): Add recent draft papers + Olaf' s prettyprinting and type-debugging papers.

10 Oct 2006


      Thu Aug 15 04:16:50 PDT 2002  malcolm
  * Add recent draft papers + Olaf's prettyprinting and type-debugging papers.

    M ./docs/publications.html -3 +114

[cvs-nhc98] patch applied (hat): Add recent draft papers + Olaf&apos; s prettyprinting and type-debugging papers.

Malcolm Wallace

[cvs-nhc98] patch applied (hat): Add recent draft papers + Olaf' s prettyprinting and type-debugging papers.