Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Changement dans le kernel : | 2006-12-11 | |
* | Mise en forme des theories | 2006-10-17 | |
* | args implicites dans Field | 2006-09-29 | |
* | separation de RealField | 2006-09-28 | |
* | commit de field + renommages | 2006-09-26 | |
* | mise a jour du nouveau ring et ajout du nouveau field, avant renommages | 2006-09-26 | |
* | better scope/require managment (patch by Russel O'Connor) | 2006-09-21 | |
* | nouvel algorithme pour Zgcd (plus rapide) + un Qcompare | 2006-06-25 | |
* | ajout de QArith dans les theories standards | 2006-05-31 |