diff options
author | 2015-02-17 18:21:44 +0100 | |
---|---|---|
committer | 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