| Commit message (Expand) | Author | Age |
* | - Adding "Hint Resolve ->" and "Hint Resolve <-" for declaration of equivalence | herbelin | 2009-05-09 |
* | comparison functions on lists and arrays | barras | 2009-04-16 |
* | Timeout message was not always displayed | barras | 2009-03-04 |
* | Heavy modifications on the widget and edition tab creation mechanism. | vgross | 2009-03-02 |
* | memoized is_ground_env | barras | 2009-02-09 |
* | Petit nettoyage faisant suite au commit #11847 . | aspiwack | 2009-01-23 |
* | Remove trailing newlines in outputs of X -where | glondu | 2009-01-08 |
* | Made the debugger work again: | herbelin | 2009-01-02 |
* | - Another bug in get_sort_family_of (sort-polymorphism of constants and | herbelin | 2008-12-28 |
* | - coq_makefile: target install now respects the original tree structure | herbelin | 2008-12-24 |
* | - Fixed many "Theorem with" bugs. | herbelin | 2008-10-27 |
* | Affichage des notations récursives: | herbelin | 2008-10-22 |
* | Évolutions diverses et variées. | herbelin | 2008-08-04 |
* | Suite commit 11236 | notin | 2008-07-24 |
* | Quelques modifications autour du filtrage Ltac: | herbelin | 2008-07-16 |
* | Fixes in handling of implicit arguments: | msozeau | 2008-07-04 |
* | - Correction de la version simplifiée (filtrage sur deux sig | herbelin | 2008-06-09 |
* | - Extension de "generalize" en "generalize c as id at occs". | herbelin | 2008-06-08 |
* | Correction terminologie et ajout plage unicode 1D400-1D7FF (mathematical | herbelin | 2008-06-06 |
* | Ajout de la possibilité d'utiliser fix/cofix dans les notations. | herbelin | 2008-05-24 |
* | - Prise en compte de l'unicode dans la fonction hdchar (elle fournissait des | herbelin | 2008-05-10 |
* | Bugs, nettoyage, et améliorations diverses | herbelin | 2008-04-13 |
* | improved the implementation of rtree | barras | 2008-03-18 |
* | Merge with lmamane's private branch: | lmamane | 2008-02-22 |
* | Add list_iter3 | msozeau | 2008-01-30 |
* | Correction bug #1749 (datant de l'implantation des or-patterns) + | herbelin | 2008-01-05 |
* | Merged revisions 10358-10362,10365,10371-10373,10377,10383-10384,10394-10395,... | msozeau | 2007-12-31 |
* | Util.option_compare devient Option.Misc.Compare et change un peu de type | aspiwack | 2007-12-07 |
* | 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-06 |
* | Factorisation des opérations sur le type option de Util dans un module | aspiwack | 2007-12-05 |
* | Repair Haskell/Scheme extraction in the new extraction backend design: | letouzey | 2007-10-17 |
* | Utilisation d'un nouvel algorithme plus raffiné pour prendre en compte les | herbelin | 2007-09-04 |
* | Slight cleanup of refl_omega.ml : in particular it uses now list | letouzey | 2007-07-11 |
* | If a fixpoint is not written with an explicit { struct ... }, then | letouzey | 2007-07-07 |
* | Nettoyage et standardisation des messages d'erreurs. | herbelin | 2007-05-17 |
* | Ajout de la possibilité de faire référence dans certains cas à un nom | herbelin | 2007-04-28 |
* | Correction bug #1477 sur ordre des variables partagées par les or-patterns. | herbelin | 2007-04-13 |
* | Ajout combinateurs option_fold_left et name_fold_map | herbelin | 2006-10-09 |
* | Déplacement surround dans util.ml et parenthésage des déclarations | herbelin | 2006-09-23 |
* | added congruence improvement | corbinea | 2006-09-19 |
* | Ajout array_distinct | herbelin | 2006-09-12 |
* | Ajout array_fold_map2Ã' | herbelin | 2006-05-28 |
* | r8931@thot: notin | 2006-04-28 16:19:38 +0200 | notin | 2006-04-28 |
* | Standardisation nom option_app en option_map | herbelin | 2006-04-27 |
* | Si un fixpoint a plusieurs arguments, mais un seul de type inductif, | letouzey | 2006-04-14 |
* | Ajout array_fold_map', list_fold_map' et list_remove_first | herbelin | 2006-03-29 |
* | Ajout plural | herbelin | 2006-02-07 |
* | Suppression de la dépendance en Map.fold de ocaml dont la sémantique a | herbelin | 2006-01-24 |
* | Déplacement de pr_arg et pr_opt de Ppconstr vers Util | herbelin | 2006-01-21 |