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