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