aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib/envars.ml
Commit message (Expand)AuthorAge
* Misc changes around coqtop.ml :Gravatar letouzey2013-08-22
* Restrict (try...with...) to avoid catching critical exn (part 5)Gravatar letouzey2013-03-13
* Restrict (try...with...) to avoid catching critical exn (part 4)Gravatar letouzey2013-03-12
* More monomorphization.Gravatar ppedrot2013-03-05
* Envar: in w32, add .exe when searching for caml binariesGravatar letouzey2013-01-12
* Fix coqtop -config when absolute path have been given for ocaml*Gravatar pboutill2012-12-19
* Moved Stringset and Stringmap to String namespace.Gravatar ppedrot2012-12-14
* Ensure that a function declared with a label is used with itGravatar letouzey2012-12-08
* Envars: repair failed compilation after yann's commitsGravatar letouzey2012-12-07
* * lib/Envars:Gravatar regisgia2012-12-07
* * lib/Envars:Gravatar regisgia2012-12-07
* Added a CString module.Gravatar ppedrot2012-11-13
* Monomorphized a lot of equalities over OCaml integers, thanks toGravatar ppedrot2012-11-08
* No more states/initial.coq, instead coqtop now requires Prelude.voGravatar letouzey2012-08-23
* Updating headers.Gravatar herbelin2012-08-08
* bug 2805: Only export CAMLP4LIB if camlp4 -where ends successfullyGravatar pboutill2012-06-12
* Revert copy/pasted function in to minilib thanks to clib.cmaGravatar pboutill2012-05-23
* Always add the Coq_config.dirs to xdg_dirsGravatar pboutill2012-05-02
* lib directory is cut in 2 cma.Gravatar pboutill2012-04-12
* Noise for nothingGravatar pboutill2012-03-02
* CoqIde files position is freedesktop compliant.Gravatar pboutill2011-12-18
* 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
* Choose relative directory over configured directory for coqlib.Gravatar pboutill2011-04-29
* coqtop -config returns coq returns coq environments at exection timeGravatar pboutill2011-04-28
* Win32: remove the need for Coq.bat and Coqide.batGravatar letouzey2011-04-21
* Add directories in COQPATH to search path.Gravatar herbelin2011-04-14
* Updated all headers for 8.3 and trunkGravatar herbelin2010-07-24
* Delete trailing whitespaces in all *.{v,ml*} filesGravatar glondu2009-09-17
* Gestion des espaces dans les noms + guess_coqlib sous WindowsGravatar notin2009-02-11
* Fix d'un problème lors de l'appel à coqtop avec un chemin relatifGravatar notin2009-02-11
* Experimental file commited by mistake, sorry.Gravatar herbelin2009-01-19
* Backporting from v8.2 to trunk:Gravatar herbelin2009-01-18
* Remove trailing newlines in outputs of X -whereGravatar glondu2009-01-08
* Made the debugger work again:Gravatar herbelin2009-01-02
* 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-11-30 19:28:44 +0000