diff options
| author | Pierre Courtieu | 2000-06-02 12:08:31 +0000 |
|---|---|---|
| committer | Pierre Courtieu | 2000-06-02 12:08:31 +0000 |
| commit | 412c63386bab6e2be010ae02c6017561e56bc591 (patch) | |
| tree | 85814b6ed9dff9e101d4bf97016c7efd95193271 /FAQ | |
| parent | 7137c56cbf0b70a9bfdc0fca35880e9886072700 (diff) | |
Added 3 entries in the Coq menu: Print Check and Hints
Diffstat (limited to 'FAQ')
0 files changed, 0 insertions, 0 deletions