summaryrefslogtreecommitdiffstats
path: root/toplevel/opttopdirs.ml
AgeCommit message (Expand)Author
2012-12-18Add a -dtypedtree flag to all tools (using Printtyped). Also fix ocamlnat.Alain Frisch
2012-10-15remove all $Id keywordsDamien Doligez
2012-01-20Reverting bad commit.Alain Frisch
2012-01-20Fix #5490.Alain Frisch
2011-12-20Fix ocamlnet.Alain Frisch
2011-07-27renaming of Objective Caml to OCaml and cleanup of copyright headersDamien Doligez
2010-01-22clean up spaces and tabsDamien Doligez
2007-11-06Merge the natdynlink branch into HEAD.Alain Frisch