diff options
| author | Pierre Courtieu | 2004-02-11 19:13:21 +0000 |
|---|---|---|
| committer | Pierre Courtieu | 2004-02-11 19:13:21 +0000 |
| commit | b0f4bf630f1594621b24995479c2b32c008c3825 (patch) | |
| tree | 721b5c191a6bbcbb74dd7e591c921e67e66f3bce /FAQ | |
| parent | 783f894cf4d80314cef62bfde204c6f8dcd1ffbf (diff) | |
Added some interface stuff:
- an default coq abbrev file, loaded only if no abbrev table exists
for coq;
- some menu entries and shortcuts for abbrev;
- a menu entry for "3 buffers view".
Diffstat (limited to 'FAQ')
0 files changed, 0 insertions, 0 deletions