| Fri, 28 Feb 2020 21:23:11 +0100 | traytel | tuned lift_bnf's user interface for quotients | changeset | files |
| Fri, 28 Feb 2020 22:23:43 +0100 | wenzelm | NEWS; | changeset | files |
| Fri, 28 Feb 2020 21:34:04 +0100 | wenzelm | updated to polyml-5.8.1-20200228 test version (Poly/ML 6025c250b4f1); | changeset | files |
| Fri, 28 Feb 2020 16:40:28 +0100 | wenzelm | tuned; | changeset | files |