#390 Update release notes for v0.7.

See merge request !377

#419 Added Oisterwijksebaan bridge real-world CIF synthesis example - small fixes

Closes #419

See merge request !376

#416 Add tests for CIF common checks

Closes #416

See merge request !373

#392 Update release notes for v0.7-RC1.

See merge request !371

- Requires JavaDoc suppression due to JDT bug.

#419 Added Oisterwijksebaan bridge real-world CIF synthesis example

Closes #419

See merge request !370

#425 Update release process documentation

Closes #425

See merge request eclipse/escet/escet!372

- There is no more type A and type B selection for release records.
- Add missing step to click 'Save' when editing release record.
- Add 'Prepare Git repo for vN.N development' issue creation.

- Formatting and consistency improvements.
- Improved comments.
- Naming all in English.
- Fixed some typos, fixed some casing consistencies, etc.
- SVG image improvements.

- Scripts are now simpler.
- Scripts use less options, including not showing the option dialog.

- Source: https://github.com/ffhreijnen/OBB.
- Unchanged for external Git repo.

#347 Add dark theme support for/to SeText-based text editors

Closes #347

See merge request !367

Merge branch '398-various-checks-for-cif-checker-crash-for-violations-in-the-root-of-the-specification-2' into 'develop'

#398 Various CIF check violation reporting improvements

Closes #398

See merge request !368

- Related enum class names are now also singular.