| Age | Commit message (Expand) | Author |
|---|
| 2008-05-05 | Mise en place d'un algorithme d'inversion des contraintes de type lors | herbelin |
| 2008-05-03 | Quelques éléments de réflexion | herbelin |
| 2008-04-27 | Correction du bug des types singletons pas sous-type de Set | herbelin |
| 2008-04-24 | - Add pretty-printers for Idpred, Cpred and transparent_state, used for | msozeau |
| 2008-04-23 | Prise en compte des coercions dans les clauses "with" même si le type | herbelin |
| 2008-04-16 | first-order --> firstorder (kills a warning about not being a valid id) | letouzey |
| 2008-04-14 | Diverses corrections | herbelin |
| 2008-04-13 | Bugs, nettoyage, et améliorations diverses | herbelin |
| 2008-04-03 | Chgts mineurs: | herbelin |
| 2008-03-18 | Hint for Debian users. | glondu |
| 2008-02-13 | Implement KEEP_ML4_PREPROCESSED option in build system | lmamane |
| 2008-02-13 | Implement NO_RECALC_DEPS option in build system | lmamane |
| 2008-02-08 | Add printer for Pp.std_ppcmds... | msozeau |
| 2008-01-11 | Amélioration de la génération des graphes de dépendances (utilisation de ... | notin |
| 2008-01-04 | Prise en compte de CAMLP4LIB via fichier configure plutôt que dynamiquement | herbelin |
| 2007-12-31 | Merged revisions 10358-10362,10365,10371-10373,10377,10383-10384,10394-10395,... | msozeau |
| 2007-12-07 | Ocaml toplevel convenience. | glondu |
| 2007-12-06 | Plus de combinateurs sont passés de Util à Option. Le module Options | aspiwack |
| 2007-10-29 | MAJ | herbelin |
| 2007-10-11 | Allow a few build system optimisations/corner-cutting | lmamane |
| 2007-10-08 | add $COQTOP to the search path of ocamldebug | letouzey |
| 2007-10-03 | Ajout de eelim, ecase, edestruct et einduction (expérimental). | herbelin |
| 2007-09-15 | * Adding compability with ocaml 3.10 + camlp5 (rework of | letouzey |
| 2007-08-29 | - Débogueur: positionnement de set_detype_anonymous pour ne pas | herbelin |
| 2007-08-22 | - Correction bug dans syntaxe des match (liste de motifs vide était acceptée) | herbelin |
| 2007-07-25 | Add glob.dump to Makefile the recommended way and document the | lmamane |
| 2007-07-16 | Reorganise cleaning targets | lmamane |
| 2007-07-16 | A cleaner solution to "make deletes .ml4.d files -> infinite loop" problem | lmamane |
| 2007-07-13 | New bootstrapping, improved, Makefile system | corbinea |
| 2007-05-21 | MAJ | herbelin |
| 2007-04-29 | Quelques exemples sur l'asymétrie de la conversion | herbelin |
| 2007-04-28 | Ajout de la possibilité d'utiliser les evars dans apply_in et elim_in. | herbelin |
| 2007-04-18 | - Correction d'un bug de make_clenv_binding_apply révélé par le commit 9771 | herbelin |
| 2007-04-17 | Rajout du mot Fix dans le printer | vsiles |
| 2007-04-17 | Retablissement de Fix dans print_pure_constr | vsiles |
| 2007-01-22 | Allègement de l'affichage des références par le printer si possible | herbelin |
| 2007-01-19 | Export de l'afficheur de substitutions de noms de modules pour le débogueur | herbelin |
| 2006-11-19 | MAJ | herbelin |
| 2006-10-30 | MAJ | herbelin |
| 2006-10-13 | Simplification ocamldebug (coq-debug-programs.out obsolète) | herbelin |
| 2006-09-29 | Reactivation des outils de developpement de Jacek | herbelin |
| 2006-09-26 | mise a jour du nouveau ring et ajout du nouveau field, avant renommages | barras |
| 2006-09-22 | Tout petit bug d'affichage dans constr_display (top_printers) | herbelin |
| 2006-07-22 | - Ajout d'un cast vm dans la syntaxe : x <: t | bgregoir |
| 2006-06-10 | MAJ fichier dev/doc/changes.txt | herbelin |
| 2006-05-29 | Fix broken paths. | msozeau |
| 2006-05-26 | Added contrib/funind to the path for ocamldebug-coq | courtieu |
| 2006-05-23 | Mise à jour dev/doc/changes.txt et ajout d'un mot sur TACTIC EXTEND | herbelin |
| 2006-05-23 | Restructuration dossier dev et mise à jour de certaines documentations | herbelin |
| 2006-05-23 | PÃréouverture de la plupart des fichis pour éviter d'avoir à qualifier | herbelin |
