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 /toplevel/discharge.mli | |
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 'toplevel/discharge.mli')
0 files changed, 0 insertions, 0 deletions