| Commit message (Expand) | Author | Age |
|---|
| ... | |
| * | 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 |
| * | Restructuration et simplification des fonctions d'affichage, de détypage | herbelin | 2006-01-11 |
| * | Restauration des commandes de débogage PrintConstr et PrintPureConstr (suite... | herbelin | 2006-01-04 |
| * | Affichage concis des locations (si jamais ppterm/pprawterm sont débranchés) | herbelin | 2006-01-04 |
| * | Remise en place des commandes vernaculaires PrintConstr et PrintPureConstr (d... | herbelin | 2006-01-04 |
| * | MAJ | herbelin | 2005-12-28 |
msozeau
glondu
aspiwack
herbelin
lmamane
letouzey
corbinea
vsiles
barras
bgregoir
courtieu
notin