aboutsummaryrefslogtreecommitdiff
path: root/lib/envars.ml
AgeCommit message (Expand)Author
2012-06-12bug 2805: Only export CAMLP4LIB if camlp4 -where ends successfullypboutill
2012-05-23Revert copy/pasted function in to minilib thanks to clib.cmapboutill
2012-05-02Always add the Coq_config.dirs to xdg_dirspboutill
2012-04-12lib directory is cut in 2 cma.pboutill
2012-03-02Noise for nothingpboutill
2011-12-18CoqIde files position is freedesktop compliant.pboutill
2011-11-20coqrc in the right XDG_CONFIG_HOME/coq folderpboutill
2011-11-20Add support for XDG_DATA_HOME and XDG_DATA_DIRS.pboutill
2011-09-27In Coq_config: get rid of coqsrc and make coqlib optionalglondu
2011-04-29Choose relative directory over configured directory for coqlib.pboutill
2011-04-28coqtop -config returns coq returns coq environments at exection timepboutill
2011-04-21Win32: remove the need for Coq.bat and Coqide.batletouzey
2011-04-14Add directories in COQPATH to search path.herbelin
2010-07-24Updated all headers for 8.3 and trunkherbelin
2009-09-17Delete trailing whitespaces in all *.{v,ml*} filesglondu
2009-02-11Gestion des espaces dans les noms + guess_coqlib sous Windowsnotin
2009-02-11Fix d'un problème lors de l'appel à coqtop avec un chemin relatifnotin
2009-01-19Experimental file commited by mistake, sorry.herbelin
2009-01-18Backporting from v8.2 to trunk:herbelin
2009-01-08Remove trailing newlines in outputs of X -whereglondu
2009-01-02Made the debugger work again:herbelin
2008-12-19Nettoyage des variables Coq et amélioration de coqmktop. Lesnotin
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-11 10:16:27 +0000