// $Id: RELEASE_INSTRUCTIONS,v 1.2 2005/04/26 13:45:09 belaban Exp $

	       Things to do before packaging a release
	       ---------------------------------------

- Remove all "// +++ remove" statements

- Run all tests in ./tests (runtests)

- Run all demos in ./demos

- cvs tag before releasing