| Tue, 27 Apr 2010 08:17:39 +0200 | haftmann | canonical import | changeset | files |
| Mon, 26 Apr 2010 15:38:14 +0200 | haftmann | merged | changeset | files |
| Mon, 26 Apr 2010 15:37:50 +0200 | haftmann | use new classes (linordered_)field_inverse_zero | changeset | files |
| Mon, 26 Apr 2010 23:46:45 +0200 | blanchet | merged | changeset | files |
| Mon, 26 Apr 2010 23:45:51 +0200 | blanchet | renamed option | changeset | files |
| Mon, 26 Apr 2010 23:45:32 +0200 | blanchet | fixes 2a5c6e7b55cb; | changeset | files |
| Mon, 26 Apr 2010 21:50:36 +0200 | blanchet | compile | changeset | files |