* tools/Coq_makefile:
  Add '-I config' in the options of the ocaml compilers.
  This is useful to reuse site configuration in plugins.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16027 85f007b7-540e-0410-9357-904b9bb8a0f7
* tools/Coq_makefile
  Export $(COQMKTOP) in generated Makefiles.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16028 85f007b7-540e-0410-9357-904b9bb8a0f7
Revert "* tools/Coq_makefile:"

This reverts commit 9a2f43eca179436f0581751b93c989fd30a5c13c.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16029 85f007b7-540e-0410-9357-904b9bb8a0f7
* lib/Envars:
  - Document interface file.
  - Now export references to ocaml compilers used to compile Coq.

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

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

 - indentation, wrap long lines
 - factorize some code
 - split Coqide.main in many subfunctions
 - Put the callbacks in modules (e.g. File.load)
 - ...

 Normally this commit shouldn't change coqtop behavior

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16032 85f007b7-540e-0410-9357-904b9bb8a0f7
Coqide: nicer creation of timers

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16033 85f007b7-540e-0410-9357-904b9bb8a0f7
Coqide: opening non-existing files won't create them immediately anymore

 ... and many more code cleanup concerning file loading

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16034 85f007b7-540e-0410-9357-904b9bb8a0f7
Coqide: use "prefs" ident instead of "current" (vague when unqualified)

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16035 85f007b7-540e-0410-9357-904b9bb8a0f7
Coqide: no reason to ignore Ctrl-C

 Ctrl-C now triggers a clean (interactive) quit.
 The other catchable signals still trigger an emergency (non-interactive) quit.

 Btw, stop trying to relaunch the gtk loop in case of failure

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16036 85f007b7-540e-0410-9357-904b9bb8a0f7
Coqide: better handling of gtk messages + fix win32 stdout/stderr rerouting

 We now try harder to handle ourselves gtk messages (e.g. Gtk-WARNING ...).
 This way, we could reroute them nicely in w32, and pop-up the critical ones.

 Moreover, the code rerouting debug messages to a log file in w32 was using
 !Ideutils.debug before its initialization. Now, when a log file is used, its
  name is displayed in the about messages.

 Btw, some code cleaning in coqide_main

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16037 85f007b7-540e-0410-9357-904b9bb8a0f7
Coqide: better removal of the error red tag

 Instead of trying to limit the retag to the visible zone
 (which may be wrong if the user has scrolled), we remove
 the red error tag from the whole buffer (this isn't costly).

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16038 85f007b7-540e-0410-9357-904b9bb8a0f7
Coqide: minor cleanup around tag_on_insert

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16039 85f007b7-540e-0410-9357-904b9bb8a0f7
Envars: repair failed compilation after yann's commits

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16040 85f007b7-540e-0410-9357-904b9bb8a0f7
Coqide: missing arg when calling process_next_phrase

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16041 85f007b7-540e-0410-9357-904b9bb8a0f7
Ideutils: simpler conversion from byte offset to utf8 char offset

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

 Instead of many Coq_lex.delimit_sentence followed by String.sub,
 we let Coq_lex find the different sentences at once.

 The offset converter (from byte offset to utf8 offset) is optimized
 to compute these offsets incrementally instead of re-visiting the
 whole string buffer again and again.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16043 85f007b7-540e-0410-9357-904b9bb8a0f7
Coqide: cleanup concerning insert_text signal

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16044 85f007b7-540e-0410-9357-904b9bb8a0f7
Coqide: stylistic improvements in analyzed_view initializer

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16045 85f007b7-540e-0410-9357-904b9bb8a0f7
Coqide: more cleanup (buffers)

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