| Age | Commit message (Expand) | Author |
|---|
| 2010-02-10 | Fix [Existing Class] impl and add documentation. Fix computation of the | msozeau |
| 2009-11-12 | Experiment propagation of implicit arguments and arguments scope for | herbelin |
| 2009-10-28 | Integrate a few improvements on typeclasses and Program from the equations br... | msozeau |
| 2009-09-26 | Fixed a hole in glob_tactic that allowed some Ltac code to refer to | herbelin |
| 2009-09-17 | Delete trailing whitespaces in all *.{v,ml*} files | glondu |
| 2009-09-11 | Generalized the possibility to refer to a global name by a notation | herbelin |
| 2009-08-06 | - Cleaning phase of the interfaces of libnames.ml and nametab.ml | herbelin |
| 2009-05-09 | - Adding "Hint Resolve ->" and "Hint Resolve <-" for declaration of equivalence | herbelin |
| 2009-04-16 | comparison functions on lists and arrays | barras |
| 2009-03-04 | Timeout message was not always displayed | barras |
| 2009-03-02 | Heavy modifications on the widget and edition tab creation mechanism. | vgross |
| 2009-02-09 | memoized is_ground_env | barras |
| 2009-01-23 | Petit nettoyage faisant suite au commit #11847 . | aspiwack |
| 2009-01-08 | Remove trailing newlines in outputs of X -where | glondu |
| 2009-01-02 | Made the debugger work again: | herbelin |
| 2008-12-28 | - Another bug in get_sort_family_of (sort-polymorphism of constants and | herbelin |
| 2008-12-24 | - coq_makefile: target install now respects the original tree structure | herbelin |
| 2008-10-27 | - Fixed many "Theorem with" bugs. | herbelin |
| 2008-10-22 | Affichage des notations récursives: | herbelin |
| 2008-08-04 | Évolutions diverses et variées. | herbelin |
| 2008-07-24 | Suite commit 11236 | notin |
| 2008-07-16 | Quelques modifications autour du filtrage Ltac: | herbelin |
| 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 |
