| Commit message (Expand) | Author | Age |
|---|
| * | Implement KEEP_ML4_PREPROCESSED option in build system |  lmamane | 2008-02-13 |
| * | Implement NO_RECALC_DEPS option in build system | lmamane | 2008-02-13 |
| * | Add printer for Pp.std_ppcmds... |  msozeau | 2008-02-08 |
| * | Amélioration de la génération des graphes de dépendances (utilisation de ... |  notin | 2008-01-11 |
| * | Prise en compte de CAMLP4LIB via fichier configure plutôt que dynamiquement |  herbelin | 2008-01-04 |
| * | Merged revisions 10358-10362,10365,10371-10373,10377,10383-10384,10394-10395,... | msozeau | 2007-12-31 |
| * | Ocaml toplevel convenience. |  glondu | 2007-12-07 |
| * | Plus de combinateurs sont passés de Util à Option. Le module Options |  aspiwack | 2007-12-06 |
| * | MAJ | herbelin | 2007-10-29 |
| * | Allow a few build system optimisations/corner-cutting | lmamane | 2007-10-11 |
| * | add $COQTOP to the search path of ocamldebug |  letouzey | 2007-10-08 |
| * | Ajout de eelim, ecase, edestruct et einduction (expérimental). | herbelin | 2007-10-03 |
| * | * Adding compability with ocaml 3.10 + camlp5 (rework of | letouzey | 2007-09-15 |
| * | - Débogueur: positionnement de set_detype_anonymous pour ne pas | herbelin | 2007-08-29 |
| * | - Correction bug dans syntaxe des match (liste de motifs vide était acceptée) | herbelin | 2007-08-22 |
| * | Add glob.dump to Makefile the recommended way and document the | lmamane | 2007-07-25 |
| * | Reorganise cleaning targets | lmamane | 2007-07-16 |
| * | A cleaner solution to "make deletes .ml4.d files -> infinite loop" problem | lmamane | 2007-07-16 |
| * | New bootstrapping, improved, Makefile system |  corbinea | 2007-07-13 |
| * | MAJ | herbelin | 2007-05-21 |
| * | Quelques exemples sur l'asymétrie de la conversion | herbelin | 2007-04-29 |
| * | Ajout de la possibilité d'utiliser les evars dans apply_in et elim_in. | herbelin | 2007-04-28 |
| * | - Correction d'un bug de make_clenv_binding_apply révélé par le commit 9771 | herbelin | 2007-04-18 |
| * | Rajout du mot Fix dans le printer |  vsiles | 2007-04-17 |
| * | Retablissement de Fix dans print_pure_constr | vsiles | 2007-04-17 |
| * | Allègement de l'affichage des références par le printer si possible | herbelin | 2007-01-22 |
| * | Export de l'afficheur de substitutions de noms de modules pour le débogueur | herbelin | 2007-01-19 |
| * | MAJ | herbelin | 2006-11-19 |
| * | MAJ | herbelin | 2006-10-30 |
| * | Simplification ocamldebug (coq-debug-programs.out obsolète) | herbelin | 2006-10-13 |
| * | Reactivation des outils de developpement de Jacek | herbelin | 2006-09-29 |
| * | mise a jour du nouveau ring et ajout du nouveau field, avant renommages |  barras | 2006-09-26 |
| * | Tout petit bug d'affichage dans constr_display (top_printers) | herbelin | 2006-09-22 |
| * | - Ajout d'un cast vm dans la syntaxe : x <: t |  bgregoir | 2006-07-22 |
| * | MAJ fichier dev/doc/changes.txt | herbelin | 2006-06-10 |
| * | Fix broken paths. | msozeau | 2006-05-29 |
| * | Added contrib/funind to the path for ocamldebug-coq |  courtieu | 2006-05-26 |
| * | 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 | 2006-05-23 |
| * | Comments about profiling | herbelin | 2006-05-11 |
| * | Standardisation du nom des méthodes de Evd | herbelin | 2006-04-28 |
| * | Suppression des fichiers .cvsignore, rendus obsolètes par le systèmes des '... | notin | 2006-04-28 |
| * | Official MoWGLI definition of CIC dtd | herbelin | 2006-04-27 |
| * | Suppression de l'entrée devdoc dans le Makefile principal et modification en... | notin | 2006-04-27 |
| * | MAJ debugging (et arrêt support version française) | herbelin | 2006-03-17 |
| * | Deplacement du répertoire doc dans dev | notin | 2006-03-06 |
| * | Ajout ppenv | herbelin | 2006-01-30 |
| * | Plutôt pas de contraction des match dans le déboggueur | herbelin | 2006-01-30 |
| * | Ajout printer Idset.t | herbelin | 2006-01-29 |
lmamane
msozeau
notin
herbelin
glondu
aspiwack
letouzey
corbinea
vsiles
barras
bgregoir
courtieu