| Wed, 14 May 2014 12:24:38 +0200 | wenzelm | updated to polyml-5.5.2; | changeset | files |
| Wed, 14 May 2014 12:15:07 +0200 | wenzelm | practically obsolete: plain "poly" should work, except for Linux without libgmp installed; | changeset | files |
| Wed, 14 May 2014 12:00:18 +0200 | wenzelm | updated to polyml-5.5.2; | changeset | files |
| Wed, 14 May 2014 11:37:48 +0200 | desharna | document 'set_empty' | changeset | files |