diff options
| author |  vgross <vgross@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2009-06-08 15:44:02 +0000 |
|---|---|---|
| committer | vgross <vgross@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2009-06-08 15:44:02 +0000 |
| commit | e1cf4df0771d3e07425a9eaa7f796c27348a6f1c (patch) | |
| tree | 3e7e22cb00c43f95da3691919bb7622eee0a768e /tactics | |
| parent | 500fa91a30ff34e7afd0327eccda2602a19a2cb1 (diff) | |
Change in UI behaviour : proof folding is now done by double clicking. Delay is
configurable through preferences.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12174 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'tactics')
0 files changed, 0 insertions, 0 deletions