diff options
| author | Pierre Courtieu | 2004-02-19 14:09:14 +0000 |
|---|---|---|
| committer | Pierre Courtieu | 2004-02-19 14:09:14 +0000 |
| commit | 4fe4a30c1ae5853f7bfcd91dc6ea1dfb603139d5 (patch) | |
| tree | e931e27e39da2e90444a1a6fc4ffb96ba36f82df /FAQ | |
| parent | acc38950cbf229bc6cdc1cc38138762b219e7b1a (diff) | |
added submenus for command insertion for coq. menu uses abbrev
expansion to build holes.
Diffstat (limited to 'FAQ')
0 files changed, 0 insertions, 0 deletions