WWW tools

WWW tools is a package of tools for fetching and manipulating web pages.

The programs in this package illustrate how to fetch a URL using the Erlang socket interface, we show how to tokenise and analysis HTML and also provide a simple macro processor for HTML.