trAvis - MANAGER

Edit File: CHANGES

The revision history has moved to the file doc/changes.src, and is now included in the documentation as Appendix C.