aboutsummaryrefslogtreecommitdiff
path: root/lib/envars.ml
AgeCommit message (Expand)Author
2016-01-21Merge branch 'v8.5'Pierre-Marie Pédrot
2016-01-20Update copyright headers.Maxime Dénès
2015-11-26Merge branch 'v8.5'Pierre-Marie Pédrot
2015-11-25Generalizing the patch to bug #2554 on fixing path looking withHugo Herbelin
2015-09-25Merge branch 'v8.5'Pierre-Marie Pédrot
2015-09-20Revert "On MacOS X, ensuring that files found in the file system have the"Maxime Dénès
2015-06-22Fixup last commitPierre Boutillier
2015-06-22All invocations to ocaml compilers go through ocamlfindPierre Boutillier
2015-05-20Continuing incomplete 4b5af0d6e9ec1 (on MacOS X, ensuring that filesHugo Herbelin
2015-01-12Update headers.Maxime Dénès
2014-03-06Uses slashes for install and config directoriesVirgile Prevosto
2014-01-30CUnix: enriched (get_extension, sys_command, waitpid_non_intr) + cleanedPierre Letouzey
2013-08-22Misc changes around coqtop.ml :letouzey
2013-03-13Restrict (try...with...) to avoid catching critical exn (part 5)letouzey
2013-03-12Restrict (try...with...) to avoid catching critical exn (part 4)letouzey
2013-03-05More monomorphization.ppedrot
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-02-01 08:11:13 +0000