| Mon, 29 Jan 2018 22:27:57 +0100 | wenzelm | tuned data structure: potentially more efficient add_prods; | changeset | files |
| Mon, 29 Jan 2018 22:25:07 +0100 | wenzelm | clarified operations; | changeset | files |
| Mon, 29 Jan 2018 21:14:42 +0100 | wenzelm | merged | changeset | files |