diff options
| author | Pierre Courtieu | 2012-07-09 22:26:02 +0000 |
|---|---|---|
| committer | Pierre Courtieu | 2012-07-09 22:26:02 +0000 |
| commit | 0c32a39131f62ff1b19f4395d28c057b64074eb6 (patch) | |
| tree | 70b845d46d5bc0012c5d841de6bcc02ac3a00d13 /FAQ | |
| parent | 1859db80d88a5abd7dba87e686916347c5f57415 (diff) | |
Added completion to insert Require, based on coq-load-path.
Diffstat (limited to 'FAQ')
0 files changed, 0 insertions, 0 deletions