A small library and two command-line tools to parse and convert Z notation from the "e-mail" mark-up into HTML code, or into UTF-8 text with box-drawing graphics, or into the Z Standard text format.
See the project's Wiki Home Page for details --- the "Wiki" button in the bar above, or the following link: