diff options
| author | Pierre-Marie Pédrot | 2017-11-29 14:37:37 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2017-11-29 14:37:37 +0100 |
| commit | 46c3ab137fe6705293e8a44624e2a564cde1d55a (patch) | |
| tree | 21c2e9b70139e98ba71ea2705bc5e1dd0ad86d9b /plugins/syntax | |
| parent | bbe7b785787ff3f13e5c2809a67241981b06e1db (diff) | |
Add a -Q option to coqchck.
It has exactly the same effect as -R, because there is no such thing as
implicit relativization for object files in coqchk, contrarily to what
Require does in coqtop.
Diffstat (limited to 'plugins/syntax')
0 files changed, 0 insertions, 0 deletions