aboutsummaryrefslogtreecommitdiffhomepage
path: root/ide/ideutils.ml
Commit message (Expand)AuthorAge
* Cleaned prerr_endline use.Gravatar ppedrot2012-05-23
* Revert copy/pasted function in to minilib thanks to clib.cmaGravatar pboutill2012-05-23
* Revert commit 15287 : the env variables are indeed access at launch-timeGravatar letouzey2012-05-16
* Coqide: in win32 command given to cmd.exe should be more quotedGravatar letouzey2012-05-15
* Fixed access to environment variables in CoqIDE. Up to now, thoseGravatar ppedrot2012-05-08
* Removed the useless use of a reference in preference handling.Gravatar ppedrot2012-05-02
* Coqide: the coqtop to launch is a preference.Gravatar pboutill2012-04-17
* Coqide input encoding preference is an algebraic type.Gravatar pboutill2012-04-14
* Browser documentation & CharSet under WindowsGravatar pboutill2012-04-13
* CoqIde files position is freedesktop compliant.Gravatar pboutill2011-12-18
* Coqide -debug only printed Coqtop information.Gravatar pboutill2011-11-18
* Coq_makefile : bug when a project file is not in the current directory.Gravatar pboutill2011-09-01
* safe_prerr_endline in MinilibGravatar pboutill2011-09-01
* Add option -f to coqideGravatar pboutill2011-09-01
* same_file in MinilibGravatar pboutill2011-09-01
* Attempt to use more local doc in coqideGravatar pboutill2011-04-28
* Coqide: try to avoid displaying error messages on coqide's consoleGravatar letouzey2011-04-21
* Win32: if we make coqide console-free, then stderr/stdout/sdtin shouldn't be ...Gravatar letouzey2011-04-21
* Ide: more reorganisation and cleanupGravatar letouzey2011-03-25
* Fix function applications without labels (OCaml warning 6)Gravatar glondu2010-09-28
* Fix unescaped end-of-lines (OCaml warning 29)Gravatar glondu2010-09-13
* Updated all headers for 8.3 and trunkGravatar herbelin2010-07-24
* deporting Coq specific code from ide to toplevel.Gravatar vgross2010-05-31
* Remove the svn-specific $Id$ annotationsGravatar letouzey2010-04-29
* Delete trailing whitespaces in all *.{v,ml*} filesGravatar glondu2009-09-17
* Tried to make F1 documentation tool working in CoqIDE.Gravatar herbelin2009-08-14
* - per session coq command stackGravatar vgross2009-03-07
* Nettoyage des variables Coq et amélioration de coqmktop. LesGravatar notin2008-12-19
* open and save buttons are the defaultGravatar barras2008-06-10
* - Correction d'un nouveau bug de undo de CoqIDE ("Admitted" et "Proof t"Gravatar herbelin2008-05-30
* backtrack sur utilisation de do_overwrite_confirmationGravatar jnarboux2008-05-29
* commented out overwrite confirmation handler (requires lablgtk >=2.10)Gravatar barras2008-05-29
* add support for pdf in coqdoc, add export to pdf in coqide, port open and sav...Gravatar jnarboux2008-05-28
* Correction bug #1842 + correction bug initialisation introduit dansGravatar herbelin2008-05-10
* Amélioration de la colorisation, du backtrack et des messages de CoqIDEGravatar herbelin2008-05-10
* ** Efficacité, bugs, robustesse CoqIDE **Gravatar herbelin2008-05-08
* Plus de combinateurs sont passés de Util à Option. Le module Options Gravatar aspiwack2007-12-06
* redirection of errors in coqide + dynamic warning printer (needed for tm_egg)Gravatar corbinea2007-01-31
* fixed same_file (#1141)Gravatar barras2006-10-23
* Changement de l'option -where: on vérifie si la variable d'environnement COQ...Gravatar notin2006-06-07
* *** empty log message ***Gravatar barras2005-11-25
* *** empty log message ***Gravatar barras2005-11-25
* bug de coqide sous windows (bad file descriptor)Gravatar barras2005-11-23
* Nettoyage suite à la détection par défaut des variables inutilisées par o...Gravatar herbelin2005-11-08
* Déplacement de fonctionnalités unix et browser de ide vers libGravatar herbelin2005-05-19
* Nouvelle en-têteGravatar herbelin2004-07-16
* search windowGravatar coq2004-02-04
* pour ide sous windowsGravatar coq2004-01-29
* ameliorations coqideGravatar coq2003-12-30
* Coqide : les nouveaute d'aoutGravatar monate2003-09-19