diff options
| author |  Pierre Boutillier <pierre.boutillier@ens-lyon.org> | 2014-06-12 20:00:18 +0200 |
|---|---|---|
| committer | Pierre Boutillier <pierre.boutillier@ens-lyon.org> | 2014-06-30 15:55:55 +0200 |
| commit | a82eb26100d55110ce7d7cb508d49d1fad8ebd37 (patch) | |
| tree | 83445ee708c64a7b51a4e1d021793f7ba4ebe2d4 /tools/coqdoc/tokens.mli | |
| parent | e1d46f1c6ca9556e23e5378c6589220fc48da879 (diff) | |
coqc is -Q aware
Diffstat (limited to 'tools/coqdoc/tokens.mli')
0 files changed, 0 insertions, 0 deletions