Ekdohibs
/
ocaml
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
ocaml/driver
History
Damien Doligez b860d63145 whitespace cleanup, cut long lines, add some missing headers 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16415 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 		2015-09-11 11:58:31 +00:00
..
compenv.ml add option handling for colors in compiler, OCAMLPARAM and ocamlbuild 2015-08-15 15:57:51 +00:00
compenv.mli merge branch 4.02 from 4.02.1 (rev 15540) to a few fixes after 4.02.2 (rev 16205) 2015-07-17 14:31:05 +00:00
compile.ml merge branch 4.02 from 4.02.1 (rev 15540) to a few fixes after 4.02.2 (rev 16205) 2015-07-17 14:31:05 +00:00
compile.mli Improved implementation of OCAMLPARAM 2013-06-05 16:34:40 +00:00
compmisc.ml PR#6081: ocaml should add script's directory to search path, not current directory 2015-01-16 22:45:06 +00:00
compmisc.mli PR#6081: ocaml should add script's directory to search path, not current directory 2015-01-16 22:45:06 +00:00
errors.ml Continue. 2013-09-12 15:50:47 +00:00
errors.mli remove all $Id keywords 2012-10-15 17:50:56 +00:00
main.ml whitespace cleanup, cut long lines, add some missing headers 2015-09-11 11:58:31 +00:00
main.mli remove all $Id keywords 2012-10-15 17:50:56 +00:00
main_args.ml add option handling for colors in compiler, OCAMLPARAM and ocamlbuild 2015-08-15 15:57:51 +00:00
main_args.mli add option handling for colors in compiler, OCAMLPARAM and ocamlbuild 2015-08-15 15:57:51 +00:00
ocamlcomp.sh.in Reverting the elimination of the ocamlcomp*.sh scripts, namely the following commits: 2013-11-29 13:04:38 +00:00
optcompile.ml merge branch 4.02 from 4.02.1 (rev 15540) to a few fixes after 4.02.2 (rev 16205) 2015-07-17 14:31:05 +00:00
optcompile.mli Improved implementation of OCAMLPARAM 2013-06-05 16:34:40 +00:00
opterrors.ml Continue. 2013-09-12 15:50:47 +00:00
opterrors.mli remove all $Id keywords 2012-10-15 17:50:56 +00:00
optmain.ml add option handling for colors in compiler, OCAMLPARAM and ocamlbuild 2015-08-15 15:57:51 +00:00
optmain.mli remove all $Id keywords 2012-10-15 17:50:56 +00:00
pparse.ml merge branch 4.02 from 4.02.1 (rev 15540) to a few fixes after 4.02.2 (rev 16205) 2015-07-17 14:31:05 +00:00
pparse.mli whitespace cleanup, cut long lines, add some missing headers 2015-09-11 11:58:31 +00:00