Revision of the coqide configuration:

 * if -byte-only is used, then -coqide byte is implied except 
   when the user explicitely said otherwise

 * If the user asks -coqide opt or byte, then LablGtk2 checks are not 
   bypassed anymore. In particular, the check whether ide/undo.mli should 
   be compatible with LablGtk2 < 2.6.0 or >= 2.6.0 is done. 
 
 * The tests are organized in a linear sequence of "if elif elif else" 
   that the next reader of this code may have a chance to understand




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

0 files changed, 0 insertions, 0 deletions