Change By:	Gunnar Morling (17/Oct/12 3:45 PM)
Description:	Several things to do at the end: * Check for overflows in listings etc. in PDF * Consistently use "..." or "//..." for omissions in listings * Consistently specify author names in listings (or not) * Check for constraint _declaration_ vs. _definition_ * What else?

This message is automatically generated by JIRA.
If you think it was sent incorrectly, please contact your JIRA administrators
For more information on JIRA, see: http://www.atlassian.com/software/jira