Installation Instructions
*************************

For up-to-date compilation and installation instructions, please
refer to http://www.mcrl2.org .
