Summary
- Better integration of terms 'instantaneous equation/statement' (details)
- Add missing \lstinline (details)
- Remove use of the terms 'instantaneous equation' and 'instantaneous statement' (details)
- Say 'only during initialization' instead of 'at the initial time only' (details)
- Fix long lines and use \ldots for ellipsis in listings (details)
- Add 'clocked when-clause' to document index (details)
- Use angle brackets for '<describing text>' in listings (details)
- Remove redundant comment with ellipsis character (details)
- Fix link formatting (details)
- Remove Travis CI badge from README.md (details)
- Add links to MAP-LANG and MCPs to README (details)
- Update README.md (details)
- Protect space after \LaTeX (details)