Changes

#11 (Apr 18, 2023, 12:15:32 PM)

1. Use expression-no-decoration everywhere in if-expression — Tidefelt Henrik / githubweb

#10 (Apr 4, 2023, 11:28:21 AM)

1. Remove 'decoration?' in prefix position inside parenthesis — Tidefelt Henrik / githubweb

#9 (Feb 22, 2023, 11:22:47 PM)

1. Simplify when-equations — Tidefelt Henrik / githubweb
2. Tick off roadmap item — Tidefelt Henrik / githubweb
3. No implicit initial x = pre(x) for when-equations — Tidefelt Henrik / githubweb
4. Tentative section on when-statements to support meeting discussions — Tidefelt Henrik / githubweb
5. Improve comments in listing — Tidefelt Henrik / githubweb
6. Don't simplify when-statements, and give rationale with example — Tidefelt Henrik / githubweb
7. Update differences.md — noreply / githubweb
8. Fix case in external source location table header — Tidefelt Henrik / githubweb
9. Improvements based on today's web meeting discussions — Tidefelt Henrik / githubweb
10. Don't over-stress tool-specific nature of source location table — Tidefelt Henrik / githubweb
11. Make room for top level package annotation — Tidefelt Henrik / githubweb
12. Conclusion regarding which information to include in decorations — noreply / githubweb
13. Fix typo — noreply / githubweb
14. Extend grammar with source location decorations — Tidefelt Henrik / githubweb

#2 (Nov 29, 2022, 12:42:34 AM)

1. Add roadmap links for "Source locations" — noreply / githubweb
2. Tick-off roadmap item corresponding to this PR — Tidefelt Henrik / githubweb