aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib/envars.mli
Commit message (Expand)AuthorAge
* Bump year in headers.Gravatar Pierre-Marie Pédrot2017-07-04
* Fix typo in comment.Gravatar Maxime Dénès2017-06-19
* Add support for "-bypass-API" argument of "coq_makefile"Gravatar Matej Košík2017-06-12
* Relying on computation done in Envars to discover the installation directories.Gravatar Hugo Herbelin2017-05-29
* Dead code (xdg_config_dirs).Gravatar Hugo Herbelin2017-05-29
* enters coq_makefile2Gravatar Enrico Tassi2017-05-23
* Put the list of Coq sources subdirectories in one placeGravatar Enrico Tassi2017-05-23
* Usage.print_config moved to EnvarsGravatar Enrico Tassi2017-05-23
* Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2016-01-21
|\
| * Update copyright headers.Gravatar Maxime Dénès2016-01-20
* | All invocations to ocaml compilers go through ocamlfindGravatar Pierre Boutillier2015-06-22
|/
* Update headers.Gravatar Maxime Dénès2015-01-12
* Misc changes around coqtop.ml :Gravatar letouzey2013-08-22
* * lib/Envars:Gravatar regisgia2012-12-07
* * lib/Envars:Gravatar regisgia2012-12-07
* Updating headers.Gravatar herbelin2012-08-08
* Partialy revert "coq_makefile fixup" because old Makefiles still need CAMLP4BINGravatar pboutill2012-06-15
* coq_makefile fixupGravatar pboutill2012-06-14
* Revert copy/pasted function in to minilib thanks to clib.cmaGravatar pboutill2012-05-23
* lib directory is cut in 2 cma.Gravatar pboutill2012-04-12
* 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
* coqtop -config returns coq returns coq environments at exection timeGravatar pboutill2011-04-28
* Add directories in COQPATH to search path.Gravatar herbelin2011-04-14
* Updated all headers for 8.3 and trunkGravatar herbelin2010-07-24
* New script dev/tools/change-header to automatically update Coq files headers.Gravatar herbelin2010-06-22
* Move from ocamlweb to ocamdoc to generate mli documentationGravatar pboutill2010-04-29
* Nettoyage des variables Coq et amélioration de coqmktop. LesGravatar notin2008-12-19