| Tue, 16 Aug 2016 12:02:09 +0200 | eberlm | Polynomial algebra cleanup | changeset | files |
| Sun, 14 Aug 2016 23:35:16 +0200 | wenzelm | provide index.html; | changeset | files |
| Sun, 14 Aug 2016 22:48:23 +0200 | wenzelm | cpu time is optional (see Timing.message_resources); | changeset | files |