| Tue, 30 Jan 2018 15:15:51 +0100 | wenzelm | tuned type: absorb NONE: token option as token_none: token; | changeset | files |
| Tue, 30 Jan 2018 14:31:33 +0100 | wenzelm | tuned; | changeset | files |
| Tue, 30 Jan 2018 14:27:14 +0100 | wenzelm | clarified types and operations: potentially more efficient add_prods; | changeset | files |
| Tue, 30 Jan 2018 11:48:38 +0100 | wenzelm | clarified modules; | changeset | files |
| Tue, 30 Jan 2018 11:20:52 +0100 | wenzelm | tuned: more explicit types; | changeset | files |
| 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 |