diff options
| author | Théo Zimmermann | 2018-08-02 12:23:37 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2018-08-02 12:23:37 +0200 |
| commit | a7f06968eb57815fbf4f4479f0eea4cc01f7d40a (patch) | |
| tree | 773dbdd575b51bce5e77b2202b6509647851469a /plugins/syntax/plugin_base.dune | |
| parent | 4d2751a9ee050e03374d15a7224d4721e2309ae8 (diff) | |
| parent | 90fa4cf9e58b3e24cd8cb67a9a31c99b312f4fb2 (diff) | |
Merge PR #8143: Improved grammar and spelling in chapters 'Proof Schemes' and 'The Coq commands' of the Reference Manual.
Diffstat (limited to 'plugins/syntax/plugin_base.dune')
0 files changed, 0 insertions, 0 deletions