| Age | Commit message (Expand) | Author |
|---|
| 2008-01-30 | Add list_iter3 | msozeau |
| 2008-01-15 | Fix backtracking bugs: | lmamane |
| 2008-01-11 | implements a better way to respect the Unix convention that processes receive... | bertot |
| 2008-01-05 | Correction bug #1749 (datant de l'implantation des or-patterns) + | herbelin |
| 2007-12-31 | Merged revisions 10358-10362,10365,10371-10373,10377,10383-10384,10394-10395,... | msozeau |
| 2007-12-14 | Petite correction de Option.default (default faisait un Option.map | aspiwack |
| 2007-12-07 | Util.option_compare devient Option.Misc.Compare et change un peu de type | aspiwack |
| 2007-12-06 | Plus de combinateurs sont passés de Util à Option. Le module Options | aspiwack |
| 2007-12-06 | Commit intermédiaire express de réparation de coqide.ml, que j'avais | aspiwack |
| 2007-12-05 | Factorisation des opérations sur le type option de Util dans un module | aspiwack |
| 2007-10-23 | Enlevé les trucs commités au mauvais endroit | aspiwack |
| 2007-10-23 | Quelques structures de donnée plus les modules principaux (et | aspiwack |
| 2007-10-23 | Added "is_empty" to gmap. | aspiwack |
| 2007-10-17 | Repair Haskell/Scheme extraction in the new extraction backend design: | letouzey |
| 2007-10-05 | Correction de quelques défauts d'affichage (notations sous "as" pour | herbelin |
| 2007-09-15 | * Adding compability with ocaml 3.10 + camlp5 (rework of | letouzey |
| 2007-09-04 | Utilisation d'un nouvel algorithme plus raffiné pour prendre en compte les | herbelin |
| 2007-08-30 | Mise à jour des paramètres Whelp et ajouts d'options Set Whelp Server | herbelin |
| 2007-08-28 | Correction d'un bug dans check_and_warn | notin |
| 2007-08-22 | Ajout d'un warning losrqu'un nom de bibliothèque est ambigü | notin |
| 2007-07-13 | New bootstrapping, improved, Makefile system | corbinea |
| 2007-07-11 | Slight cleanup of refl_omega.ml : in particular it uses now list | letouzey |
| 2007-07-07 | If a fixpoint is not written with an explicit { struct ... }, then | letouzey |
| 2007-05-17 | Nettoyage et standardisation des messages d'erreurs. | herbelin |
| 2007-05-11 | Processor integers + Print assumption (see coqdev mailing list for the | aspiwack |
| 2007-04-28 | Ajout de la possibilité de faire référence dans certains cas à un nom | herbelin |
| 2007-04-13 | Correction bug #1477 sur ordre des variables partagées par les or-patterns. | herbelin |
| 2007-04-02 | Intégration de la modification suggérée par Michal Moskal (cf msg sur Coq ... | notin |
| 2007-02-24 | Une passe sur les warnings (ajout Options.warn déclenchée par compile-verbo... | herbelin |
| 2007-01-31 | redirection of errors in coqide + dynamic warning printer (needed for tm_egg) | corbinea |
| 2007-01-10 | Merge from Lionel Elie Mamane's private branch: | lmamane |
| 2006-11-21 | Nettoyage de l'utilisation de l'expansion des macros ~ et $ dans les noms de | herbelin |
| 2006-10-09 | Ajout combinateurs option_fold_left et name_fold_map | herbelin |
| 2006-09-29 | Added a new option -emacs-U changing emacs prompt delimiters by | courtieu |
| 2006-09-23 | Déplacement surround dans util.ml et parenthésage des déclarations | herbelin |
| 2006-09-19 | added congruence improvement | corbinea |
| 2006-09-12 | Ajout array_distinct | herbelin |
| 2006-09-05 | Code mort | herbelin |
| 2006-09-01 | Force évaluation 'naturelle' de list_map2_i et list_map3 de gauche à droite | herbelin |
| 2006-08-28 | Petite optimisation récursive-terminale en passant | herbelin |
| 2006-05-30 | Correction bug #990 (LoadPath et option -R de coqide | notin |
| 2006-05-28 | Ajout array_fold_map2Ã' | herbelin |
| 2006-04-28 | r8931@thot: notin | 2006-04-28 16:19:38 +0200 | notin |
| 2006-04-27 | Standardisation nom option_app en option_map | herbelin |
| 2006-04-27 | Modification of emacs output: Pp.warning and al now output warning | courtieu |
| 2006-04-27 | Modification of emacs output: Pp.warning and al now output warning | courtieu |
| 2006-04-14 | Si un fixpoint a plusieurs arguments, mais un seul de type inductif, | letouzey |
| 2006-03-29 | Ajout array_fold_map', list_fold_map' et list_remove_first | herbelin |
| 2006-03-18 | Documentation | herbelin |
| 2006-02-07 | Ajout plural | herbelin |
