diff options
| author |  Maxime Dénès <mail@maximedenes.fr> | 2015-02-17 18:21:44 +0100 |
|---|---|---|
| committer | Maxime Dénès <mail@maximedenes.fr> | 2015-02-17 18:21:44 +0100 |
| commit | 9d141fe86f68f2de7058d317874edc4c0885ebc6 (patch) | |
| tree | 1580a86d58ee4f3da02f9878e635f94f392a433b /grammar/q_coqast.ml4 | |
| parent | 2cc7d0be16ce35f7c87fedde0228f08502f0250f (diff) | |
Remove documentation of non-existing Show Implicits command.
Diffstat (limited to 'grammar/q_coqast.ml4')
0 files changed, 0 insertions, 0 deletions