Menu
▾
▴
Tree [r1819] / History
| File | Date | Author | Commit |
|---|---|---|---|
| branches | 2007-08-25 | dmharvey | [r987] prune dead branches |
| flint-0.5 | 2007-05-24 | wbhart | [r525] I can't believe this bug managed to evade captu... |
| flint-1.0 | 2008-12-25 | wbhart | [r1644] Fixed the Christmas bug reported by Michael Abs... |
| flint-1.1 | 2009-03-01 | wbhart | [r1684] Inserted some missing return values in the zmod... |
| flint-1.2 | 2009-04-18 | wbhart | [r1721] Update docs for new release. |
| flint-1.3 | 2009-07-06 | wbhart | [r1765] Reverted flint-1.3 branch back to flint-1.3. |
| flint-1.4 | 2009-07-06 | wbhart | [r1768] Updated docs for flint-1.4. |
| flint-1.5 | 2009-09-23 | wbhart | [r1814] Removed references to mpz_mat from makefile. |
| trunk | 2009-10-14 | wbhart | [r1819] Fixed memory leak in mpz_poly_to_string_pretty. |