Commit message (Expand) | Author | Age | |
---|---|---|---|
* | small improvements about Qc. Beware: Qlt_trans becomes Qclt_trans (as it ough... | 2007-11-24 | |
* | small tactics "swap" and "absurd_hyp" are now obsolete: "contradict" is | 2007-11-06 | |
* | In agreement with Laurent Thery, start migration of auxiliary results | 2007-11-01 | |
* | 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 |