| Mon, 15 Jun 2015 15:34:29 +0200 | wenzelm | redundant: read = check o parse; | changeset | files |
| Mon, 15 Jun 2015 15:33:38 +0200 | wenzelm | tuned; | changeset | files |
| Mon, 15 Jun 2015 14:10:41 +0200 | wenzelm | moved sections; | changeset | files |
| Mon, 15 Jun 2015 13:29:57 +0200 | wenzelm | moved sections; | changeset | files |
| Mon, 15 Jun 2015 10:38:09 +0200 | wenzelm | tuned; | changeset | files |
| Mon, 15 Jun 2015 10:33:37 +0200 | wenzelm | more robust: variables need not occur in body; | changeset | files |
| Mon, 15 Jun 2015 10:25:49 +0200 | wenzelm | tuned; | changeset | files |