We might want to document what we need to do when updating syntax:
- Update coq-waterproof tests
- Update hints communicated by coq-waterproof
- Update Grammar Syntax in waterproof-vscode
- Update tactics.json in waterproof-vscode
- Update tutorial
- Update exercise sheets
Exercise sheets does not necessarily have to updated immediately, but we might want to create issues when we do this.
We might want to document what we need to do when updating syntax:
Exercise sheets does not necessarily have to updated immediately, but we might want to create issues when we do this.