This is "Programming with Regions in the ML Kit", the user's guide to
the ML Kit.

Style conventions:
------------------

Profile graphs should be produced with the -eps 138mm option to rp2ps.

We use the series comma.

Pdf-version
-----------

See Makefile
