aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib/envars.ml
Commit message (Expand)AuthorAge
...
* Noise for nothingGravatar pboutill2012-03-02
* CoqIde files position is freedesktop compliant.Gravatar pboutill2011-12-18
* coqrc in the right XDG_CONFIG_HOME/coq folderGravatar pboutill2011-11-20
* Add support for XDG_DATA_HOME and XDG_DATA_DIRS.Gravatar pboutill2011-11-20
* In Coq_config: get rid of coqsrc and make coqlib optionalGravatar glondu2011-09-27
* Choose relative directory over configured directory for coqlib.Gravatar pboutill2011-04-29
* coqtop -config returns coq returns coq environments at exection timeGravatar pboutill2011-04-28
* Win32: remove the need for Coq.bat and Coqide.batGravatar letouzey2011-04-21
* Add directories in COQPATH to search path.Gravatar herbelin2011-04-14
* Updated all headers for 8.3 and trunkGravatar herbelin2010-07-24
* Delete trailing whitespaces in all *.{v,ml*} filesGravatar glondu2009-09-17
* Gestion des espaces dans les noms + guess_coqlib sous WindowsGravatar notin2009-02-11
* Fix d'un problème lors de l'appel à coqtop avec un chemin relatifGravatar notin2009-02-11
* Experimental file commited by mistake, sorry.Gravatar herbelin2009-01-19
* Backporting from v8.2 to trunk:Gravatar herbelin2009-01-18
* Remove trailing newlines in outputs of X -whereGravatar glondu2009-01-08
* Made the debugger work again:Gravatar herbelin2009-01-02
* Nettoyage des variables Coq et amélioration de coqmktop. LesGravatar notin2008-12-19
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-18 11:02:23 +0000