aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib/envars.mli
Commit message (Expand)AuthorAge
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-20 13:42:31 +0000