An option "Set Default Timeout n."

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@13916 85f007b7-540e-0410-9357-904b9bb8a0f7

1 files changed, 1 insertions, 0 deletions

diff --git a/CHANGES b/CHANGES
index 6cac125b19..c7d3fb2915 100644
--- a/CHANGES
+++ b/CHANGES
@@ -26,6 +26,7 @@ Vernacular commands
 - New command "Print Sorted Universes".
 - The undocumented and obsolete option "Set/Unset Boxed Definitions" has
   been removed, as well as syntaxes like "Boxed Fixpoint foo".
+- A new option "Set Default Timeout n / Unset Default Timeout".
 
 Module System