| Age | Commit message (Expand) | Author |
|---|
| 2009-03-20 | Directory 'contrib' renamed into 'plugins', to end confusion with archive of ... | letouzey |
| 2009-03-17 | - gros commit sur ring et field: passage des arguments simplifie | barras |
| 2009-03-16 | Cleaning/improving the use of the "in" clause (e.g. "unfold foo in H at 4" | herbelin |
| 2009-01-18 | Getting rid of the previous implementation of setoid_rewrite which was | msozeau |
| 2008-10-26 | Fixes and refinements regarding occurrence selection: | herbelin |
| 2008-09-03 | Fix bug #1935, reworking the reflexivity, symmetry... tactics to use | msozeau |
| 2008-08-27 | Major speed and space improvements in setoid rewrite: | msozeau |
| 2008-06-27 | Enhanced discrimination nets implementation, which can now work with | msozeau |
| 2008-06-10 | - Officialisation de la notation "pattern c at -1" (cf wish 1798 sur coq-bugs) | herbelin |
| 2008-04-29 | Ajout notation [ x ; ... ; y ] dans list_scope. Changement de la | herbelin |
| 2008-04-08 | - A little cleanup in Classes/*. Separate standard morphisms on | msozeau |
| 2008-03-16 | Removed unneeded tactics from RelationClasses. Use | msozeau |
| 2008-03-16 | Minor fixes on setoid rewriting. Now uses definitions of [relation] and | msozeau |
| 2008-03-06 | Plug the new setoid implemtation in, leaving the original one commented | msozeau |
| 2008-02-01 | Unification de TacLetRecIn et TacLetIn. En particulier, on peut | herbelin |
| 2007-12-05 | Factorisation des opérations sur le type option de Util dans un module | aspiwack |
| 2007-11-08 | Prise en compte des notations "alias" dans la globalisation des coercions. | herbelin |
| 2007-09-17 | Raffinement de l'algorithme d'inférence de type | herbelin |
| 2007-07-24 | fixed bug 1448 and 1674 | barras |
| 2007-07-12 | port de r9968: bug avec les ring calculatoires | barras |
| 2007-02-07 | doc de ring/field + option infinite -> completeness | barras |
| 2007-02-05 | changement dans ring specification du sign, division | bgregoir |
| 2006-12-15 | Changement dans ring et field, beaucoup de correction d'erreurs, | bgregoir |
| 2006-12-11 | Changement dans le kernel : | bgregoir |
| 2006-10-27 | simplif de la partie ML de ring/field | barras |
| 2006-10-05 | A version of natprering that should be more efficient and removal of a bad | bertot |
| 2006-10-05 | Corrects the problem described in PR#1240: | bertot |
| 2006-10-04 | inefficacite de field_simplify_eq | barras |
| 2006-10-02 | bug dans field_simplify | barras |
| 2006-09-28 | separation de RealField | barras |
| 2006-09-26 | commit de field + renommages | barras |
| 2006-09-26 | mise a jour du nouveau ring et ajout du nouveau field, avant renommages | barras |
| 2006-05-30 | Généralisation de with_occurrence (ex occurrence) et de red_expr pour perme... | herbelin |
| 2006-02-01 | protect ring operations when passed to gen_phiZ and gen_phiN (abstract rings) | barras |
| 2006-02-01 | protect ring operations when passed to gen_phiZ and gen_phiN (abstract rings) | barras |
| 2006-01-11 | Restructuration et simplification des fonctions d'affichage, de détypage | herbelin |
| 2005-12-26 | Renommage des Pp*new en Pp* (et déplacement dans parsing); renommage des G_*... | herbelin |
| 2005-12-26 | Suppression des parseurs et printeurs v7; suppression du traducteur (mcanisme... | herbelin |
| 2005-12-02 | Changement des named_context | gregoire |
| 2005-11-18 | commited first version of new ring | barras |
