diff options
author | Pierre Courtieu <courtieu@lri.fr> | 2004-02-11 19:13:21 +0000 |
---|---|---|
committer | Pierre Courtieu <courtieu@lri.fr> | 2004-02-11 19:13:21 +0000 |
commit | b0f4bf630f1594621b24995479c2b32c008c3825 (patch) | |
tree | 721b5c191a6bbcbb74dd7e591c921e67e66f3bce /images/use.xpm | |
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 'images/use.xpm')
0 files changed, 0 insertions, 0 deletions