| Fri, 17 May 2013 08:19:52 +0200 | nipkow | replaced `;' by `;;' to disambiguate syntax; unexpected slight increase in build time | changeset | files |
| Fri, 17 May 2013 02:57:00 +0200 | nipkow | tuned | changeset | files |
| Thu, 16 May 2013 22:02:01 +0200 | wenzelm | merged | changeset | files |
| Thu, 16 May 2013 21:48:01 +0200 | wenzelm | more system options as context-sensitive config options; | changeset | files |