summaryrefslogtreecommitdiff
path: root/driver/compmisc.mli
Commit message (Expand)AuthorAgeFilesLines
* Delete the vmthreads library (#2289)Jérémie Dimino2019-03-111-1/+1
* Compile_common: turn `init` into continuation-passing `with_info`Gabriel Scherer2019-01-051-1/+1
* driver: consistently use _ as word separatorGabriel Scherer2019-01-041-1/+1
* Add option -error-style and environment variable OCAML_ERROR_STYLEArmaël Guéneau2018-10-201-1/+3
* Add option to dump the output of e.g. -dlambda in a file (#1913)sliquister2018-07-271-0/+2
* Print warnings on the warnings formatter in the couple of places that don'tValentin Gatien-Baron2018-07-151-1/+1
* Respect OCAML_COLOR environment variable for deciding whether to use colorsHannes Mehnert2017-03-151-0/+2
* Update headers for the new license.Damien Doligez2016-02-181-11/+14
* PR#6081: ocaml should add script's directory to search path, not current dire...Damien Doligez2015-01-161-1/+1
* fix some of the whitespace problems in the sourceDamien Doligez2014-04-121-1/+0
* Remove non-ASCII chars from headersFabrice Le Fessant2013-07-091-2/+3
* Improved implementation of OCAMLPARAMFabrice Le Fessant2013-06-051-0/+14