aboutsummaryrefslogtreecommitdiff
path: root/lib/envars.ml
AgeCommit message (Expand)Author
2013-01-12Envar: in w32, add .exe when searching for caml binariesletouzey
2012-12-19Fix coqtop -config when absolute path have been given for ocaml*pboutill
2012-12-14Moved Stringset and Stringmap to String namespace.ppedrot
2012-12-08Ensure that a function declared with a label is used with itletouzey
2012-12-07Envars: repair failed compilation after yann's commitsletouzey
2012-12-07* lib/Envars:regisgia
2012-12-07* lib/Envars:regisgia
2012-11-13Added a CString module.ppedrot
2012-11-08Monomorphized a lot of equalities over OCaml integers, thanks toppedrot
2012-08-23No more states/initial.coq, instead coqtop now requires Prelude.voletouzey
2012-08-08Updating headers.herbelin
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-01-31 15:01:13 +0000