| Commit message (Expand) | Author | Age | Files | Lines |
* | Merge short-paths into a fresh branch of trunk.short-paths-4.01 | Jacques Garrigue | 2013-01-29 | 1 | -4/+6 |
|\ |
|
| * | merge version/4.00 at revision 12866 | Jacques Garrigue | 2012-08-21 | 1 | -9/+17 |
| * | propagate path-expansion environment everywhere | Jacques Garrigue | 2012-01-23 | 1 | -2/+3 |
| * | shorten paths in signatures and toplevel output | Jacques Garrigue | 2012-01-22 | 1 | -2/+3 |
* | | Add a -dtypedtree flag to all tools (using Printtyped). Also fix ocamlnat. | Alain Frisch | 2012-12-18 | 1 | -1/+4 |
* | | #5741: make Pprintast available from the command-line (-dsource). | Alain Frisch | 2012-10-17 | 1 | -0/+3 |
* | | remove all $Id keywords | Damien Doligez | 2012-10-15 | 1 | -2/+0 |
* | | merge with branch bin-annot | Fabrice Le Fessant | 2012-05-30 | 1 | -8/+14 |
* | | Compile with warning 33, and remove unused opens. | Alain Frisch | 2012-05-29 | 1 | -1/+0 |
* | | #5589: 'unused' warnings for .mli files as well (detect unused open and shado... | Alain Frisch | 2012-04-18 | 1 | -0/+2 |
* | | PR#5538: combining -i and -annot in ocamlc | Damien Doligez | 2012-03-27 | 1 | -1/+5 |
|/ |
|
* | Reverting bad commit. | Alain Frisch | 2012-01-20 | 1 | -18/+18 |
* | Fix #5490. | Alain Frisch | 2012-01-20 | 1 | -18/+18 |
* | Replace existing warnings 26, 27, trying to preserve their semantics. | Alain Frisch | 2011-12-29 | 1 | -1/+0 |
* | Undoing previous commit. | Alain Frisch | 2011-12-21 | 1 | -6/+1 |
* | Check for unused value declaration in interface files. | Alain Frisch | 2011-12-21 | 1 | -1/+6 |
* | renaming of Objective Caml to OCaml and cleanup of copyright headers | Damien Doligez | 2011-07-27 | 1 | -1/+1 |
* | "invalid module name" becomes a warning | Damien Doligez | 2008-10-06 | 1 | -0/+23 |
* | PR#3114 make all error messages start with a location and "Error: " | Damien Doligez | 2007-12-04 | 1 | -1/+4 |
* | ajout des annotations pour variables et appels terminaux | Damien Doligez | 2007-05-16 | 1 | -1/+3 |
* | Retour en arriere sur la simplification des signatures inferees (fix du PR#35... | Xavier Leroy | 2005-08-08 | 1 | -1/+2 |
* | Systematiser la simplification des signatures inferees (PR#3545) | Xavier Leroy | 2005-08-02 | 1 | -2/+1 |
* | Interdire les references Foo.x lorsqu'on compile foo.ml ou foo.mli (PR#3100, ... | Xavier Leroy | 2005-07-31 | 1 | -3/+5 |
* | ajout warning unused variable | Damien Doligez | 2004-11-06 | 1 | -0/+1 |
* | Generalisation de l'option -o | Xavier Leroy | 2004-06-13 | 1 | -10/+10 |
* | Bug dans l'initialisation de load_path au toplevel (PR#1770,1775) | Xavier Leroy | 2003-07-25 | 1 | -1/+4 |
* | Faire cohabiter les threads bytecode et les threads systeme. Ajout option oc... | Xavier Leroy | 2003-07-17 | 1 | -2/+2 |
* | L'option -i desactive la production des fichiers compiles .cmi, .cmo, .cmx, .... | Xavier Leroy | 2003-06-23 | 1 | -22/+33 |
* | Reinitialiser le gensym de Ident entre 2 compilations (PR#1618) | Xavier Leroy | 2003-05-12 | 1 | -2/+2 |
* | Simplifier lors de l'affichage les declarations val et exception redondantes ... | Xavier Leroy | 2002-03-12 | 1 | -2/+3 |
* | ajout option -nostdlib | Damien Doligez | 2002-02-14 | 1 | -2/+3 |
* | Regroupement du preprocessage et de la lecture directe des fichiers source | Daniel de Rauglaudre | 2002-02-08 | 1 | -70/+9 |
* | Ajouté un warning si l'option -unsafe est utilisée alors que le source | Daniel de Rauglaudre | 2002-02-08 | 1 | -4/+7 |
* | Added Misc.chop_extension_if_any for the case when the input filename does | Daniel de Rauglaudre | 2002-01-28 | 1 | -2/+2 |
* | Correction: la suppression du fichier préprocessé en cas d'erreur ne peut | Daniel de Rauglaudre | 2001-10-01 | 1 | -2/+7 |
* | - | Daniel de Rauglaudre | 2001-09-22 | 1 | -1/+1 |
* | Ajout suppression des fichiers temporaires résultats de preprocess en | Daniel de Rauglaudre | 2001-09-22 | 1 | -8/+13 |
* | Pour le preprocessing, utiliser des fichiers temporaires uniques dans /tmp (P... | Xavier Leroy | 2001-07-02 | 1 | -5/+6 |
* | deplace expand_directory dans Misc, pour generaliser -I +package | Jacques Garrigue | 2000-12-28 | 1 | -10/+1 |
* | Ajout options -where et -I +<directory relative to stdlib> | Xavier Leroy | 2000-11-07 | 1 | -5/+15 |
* | option -warn-error | Damien Doligez | 2000-08-23 | 1 | -1/+3 |
* | L'option -i doit envoyer sa production sur stdout (donc std_formatter). | Pierre Weis | 2000-04-25 | 1 | -1/+2 |
* | Revu les impressions du compilateur | Pierre Weis | 2000-03-06 | 1 | -11/+11 |
* | implementation de -dparsetree | Damien Doligez | 1999-11-29 | 1 | -0/+2 |
* | Changement de la licence | Xavier Leroy | 1999-11-17 | 1 | -1/+2 |
* | Ajout du module Formatmsg pour rediriger les messages du systeme vers stdout ... | Xavier Leroy | 1999-11-08 | 1 | -1/+1 |
* | Ajout de l'option -cc | Xavier Leroy | 1998-11-06 | 1 | -1/+1 |
* | Typo dans message d'erreur | Xavier Leroy | 1998-10-01 | 1 | -1/+1 |
* | Composer les passes du compilateur avec ++ pour eviter de garder des pointeur... | Xavier Leroy | 1998-04-27 | 1 | -23/+12 |
* | Meilleures erreurs de syntaxe pour les parentheses mal fermees, etc | Xavier Leroy | 1997-08-22 | 1 | -1/+1 |