aboutsummaryrefslogtreecommitdiff
path: root/lib/envars.mli
AgeCommit message (Expand)Author
2016-01-21Merge branch 'v8.5'Pierre-Marie Pédrot
2016-01-20Update copyright headers.Maxime Dénès
2015-06-22All invocations to ocaml compilers go through ocamlfindPierre Boutillier
2015-01-12Update headers.Maxime Dénès
2013-08-22Misc changes around coqtop.ml :letouzey
2012-12-07* lib/Envars:regisgia
2012-12-07* lib/Envars:regisgia
2012-08-08Updating headers.herbelin
2012-06-15Partialy revert "coq_makefile fixup" because old Makefiles still need CAMLP4BINpboutill
2012-06-14coq_makefile fixuppboutill
2012-05-23Revert copy/pasted function in to minilib thanks to clib.cmapboutill
2012-04-12lib directory is cut in 2 cma.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-28coqtop -config returns coq returns coq environments at exection timepboutill
2011-04-14Add directories in COQPATH to search path.herbelin
2010-07-24Updated all headers for 8.3 and trunkherbelin
2010-06-22New script dev/tools/change-header to automatically update Coq files headers.herbelin
2010-04-29Move from ocamlweb to ocamdoc to generate mli documentationpboutill
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-04 20:59:41 +0000