| Wed, 23 Dec 2015 23:09:13 +0100 | wenzelm | clarified directory structure; | changeset | files |
| Wed, 23 Dec 2015 21:15:26 +0100 | wenzelm | updated polyml; | changeset | files |
| Wed, 23 Dec 2015 20:23:44 +0100 | wenzelm | clarified context policy to allow multiple dummies; | changeset | files |
| Wed, 23 Dec 2015 17:35:07 +0100 | wenzelm | NEWS; | changeset | files |
| Wed, 23 Dec 2015 17:24:12 +0100 | wenzelm | tuned; | changeset | files |
| Wed, 23 Dec 2015 16:43:31 +0100 | wenzelm | merged | changeset | files |
| Wed, 23 Dec 2015 16:38:23 +0100 | wenzelm | tuned module arrangement; | changeset | files |