diff options
| author | Pierre Courtieu | 2012-07-22 21:49:09 +0000 |
|---|---|---|
| committer | Pierre Courtieu | 2012-07-22 21:49:09 +0000 |
| commit | 63fbfa8597f901fc02c0bee2a70e7a7ad3916b96 (patch) | |
| tree | 8c94a1d38082879baa5aa40ba2f692836e6d2a12 /etc | |
| parent | e7a4c451faf47932a98bfad5b51902c5be31f62f (diff) | |
Making better menus for Coq. Menus visible in response and goals buffer.
Diffstat (limited to 'etc')
0 files changed, 0 insertions, 0 deletions