| Commit message (Expand) | Author | Age |
|---|
| * | Fixes and refinements regarding occurrence selection: |  herbelin | 2008-10-26 |
| * | Fix bug #1935, reworking the reflexivity, symmetry... tactics to use |  msozeau | 2008-09-03 |
| * | Major speed and space improvements in setoid rewrite: | msozeau | 2008-08-27 |
| * | Enhanced discrimination nets implementation, which can now work with | msozeau | 2008-06-27 |
| * | - Officialisation de la notation "pattern c at -1" (cf wish 1798 sur coq-bugs) | herbelin | 2008-06-10 |
| * | Ajout notation [ x ; ... ; y ] dans list_scope. Changement de la | herbelin | 2008-04-29 |
| * | - A little cleanup in Classes/*. Separate standard morphisms on | msozeau | 2008-04-08 |
| * | Removed unneeded tactics from RelationClasses. Use | msozeau | 2008-03-16 |
| * | Minor fixes on setoid rewriting. Now uses definitions of [relation] and | msozeau | 2008-03-16 |
| * | Plug the new setoid implemtation in, leaving the original one commented | msozeau | 2008-03-06 |
| * | Unification de TacLetRecIn et TacLetIn. En particulier, on peut | herbelin | 2008-02-01 |
| * | Factorisation des opérations sur le type option de Util dans un module |  aspiwack | 2007-12-05 |
| * | Prise en compte des notations "alias" dans la globalisation des coercions. | herbelin | 2007-11-08 |
| * | Raffinement de l'algorithme d'inférence de type | herbelin | 2007-09-17 |
| * | fixed bug 1448 and 1674 |  barras | 2007-07-24 |
| * | port de r9968: bug avec les ring calculatoires | barras | 2007-07-12 |
| * | doc de ring/field + option infinite -> completeness | barras | 2007-02-07 |
| * | changement dans ring specification du sign, division |  bgregoir | 2007-02-05 |
| * | Changement dans ring et field, beaucoup de correction d'erreurs, | bgregoir | 2006-12-15 |
| * | Changement dans le kernel : | bgregoir | 2006-12-11 |
| * | simplif de la partie ML de ring/field | barras | 2006-10-27 |
| * | 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-05 |
| * | inefficacite de field_simplify_eq | barras | 2006-10-04 |
| * | bug dans field_simplify | barras | 2006-10-02 |
| * | separation de RealField | barras | 2006-09-28 |
| * | commit de field + renommages | barras | 2006-09-26 |
| * | mise a jour du nouveau ring et ajout du nouveau field, avant renommages | barras | 2006-09-26 |
| * | Généralisation de with_occurrence (ex occurrence) et de red_expr pour perme... | herbelin | 2006-05-30 |
| * | 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-02-01 |
| * | Restructuration et simplification des fonctions d'affichage, de détypage | herbelin | 2006-01-11 |
| * | 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-26 |
| * | Changement des named_context |  gregoire | 2005-12-02 |
| * | commited first version of new ring | barras | 2005-11-18 |
herbelin
msozeau
aspiwack
barras
bgregoir
bertot
gregoire