diff options
| author | Pierre Courtieu | 2004-03-17 10:16:46 +0000 |
|---|---|---|
| committer | Pierre Courtieu | 2004-03-17 10:16:46 +0000 |
| commit | ae033a743e9fb6512bcb41da1d184d423904acab (patch) | |
| tree | aff434ea23f9291402999f5ec686877ba08b8a74 /generic/proof-shell.el | |
| parent | dbefcc58687d1fabb8df030f2308e97fff781d47 (diff) | |
menu, holes and abbrev made better.
Diffstat (limited to 'generic/proof-shell.el')
0 files changed, 0 insertions, 0 deletions