| Age | Commit message (Expand) | Author |
|---|
| 2008-07-04 | Fixes in handling of implicit arguments: | msozeau |
| 2008-06-09 | - Correction de la version simplifiée (filtrage sur deux sig | herbelin |
| 2008-06-08 | - Extension de "generalize" en "generalize c as id at occs". | herbelin |
| 2008-06-06 | Correction terminologie et ajout plage unicode 1D400-1D7FF (mathematical | herbelin |
| 2008-05-24 | Ajout de la possibilité d'utiliser fix/cofix dans les notations. | herbelin |
| 2008-05-10 | - Prise en compte de l'unicode dans la fonction hdchar (elle fournissait des | herbelin |
| 2008-04-13 | Bugs, nettoyage, et améliorations diverses | herbelin |
| 2008-03-18 | improved the implementation of rtree | barras |
| 2008-02-22 | Merge with lmamane's private branch: | lmamane |
| 2008-01-30 | Add list_iter3 | msozeau |
| 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-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-17 | Repair Haskell/Scheme extraction in the new extraction backend design: | letouzey |
| 2007-09-04 | Utilisation d'un nouvel algorithme plus raffiné pour prendre en compte les | herbelin |
| 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-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 |
| 2006-10-09 | Ajout combinateurs option_fold_left et name_fold_map | herbelin |
| 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-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-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-02-07 | Ajout plural | herbelin |
| 2006-01-24 | Suppression de la dépendance en Map.fold de ocaml dont la sémantique a | herbelin |
| 2006-01-21 | Déplacement de pr_arg et pr_opt de Ppconstr vers Util | herbelin |
| 2004-07-16 | Mise en place mécanisme de compatibilité ocaml 3.08 | herbelin |
| 2004-07-16 | Nouvelle en-tête | herbelin |
| 2004-03-05 | modif des fixpoints pour que si on donne une notation au produit, les pts fix... | barras |
| 2004-02-13 | Ajout array_map_left and co | herbelin |
| 2004-02-12 | Localisation des erreurs d'internalisation des notations de tactiques | herbelin |
| 2003-11-26 | Export string_index_from | herbelin |
| 2003-10-13 | Ajout projections de triplet | herbelin |
| 2003-08-10 | Ajout option_fold_right | herbelin |
| 2003-06-10 | Ajout fonctions de recherche de sous-chaines (merci a Jacek) | herbelin |
| 2003-05-19 | Renommage CMeta en CPatVar qui sert à saisir les PMeta de Pattern | herbelin |
| 2003-04-29 | Ajout is_ident_tail | herbelin |
| 2003-04-16 | une fonction list_skipn qui zappe les n premiers elements d'une liste | letouzey |
| 2003-04-08 | test: un boolean et une fonction check_for_interrupt inseree dans la conversi... | filliatr |
| 2002-11-28 | A usage cosmetique | letouzey |
| 2002-11-26 | Ajout list_map_assoc | herbelin |
