| Fri, 19 Dec 2014 21:59:18 +0100 | wenzelm | just one data slot per program unit; | changeset | files |
| Fri, 19 Dec 2014 21:24:59 +0100 | wenzelm | more standard configuration options; | changeset | files |
| Fri, 19 Dec 2014 20:32:54 +0100 | wenzelm | tuned; | changeset | files |