diff options
| author | Zeimer | 2018-07-23 20:11:41 +0200 |
|---|---|---|
| committer | Zeimer | 2018-08-01 14:40:30 +0200 |
| commit | 90fa4cf9e58b3e24cd8cb67a9a31c99b312f4fb2 (patch) | |
| tree | 47abf35ddc654d2d2fb4cfd38b927cb7a237704f /plugins/syntax/positive_syntax_plugin.mlpack | |
| parent | 941b25c8617d88bdf128379f98f443cc46d6ffcc (diff) | |
Improved grammar and spelling in chapters 'Proof Schemes' and 'The Coq commands' of the Reference Manual.
Diffstat (limited to 'plugins/syntax/positive_syntax_plugin.mlpack')
0 files changed, 0 insertions, 0 deletions