| Fri, 23 Dec 2016 16:20:42 +0100 | wenzelm | tuned; | changeset | files |
| Fri, 23 Dec 2016 15:53:53 +0100 | wenzelm | tuned; | changeset | files |
| Fri, 23 Dec 2016 11:53:31 +0100 | wenzelm | tuned; | changeset | files |
| Fri, 23 Dec 2016 11:36:41 +0100 | wenzelm | suppress dummy id; | changeset | files |
| Fri, 23 Dec 2016 11:21:38 +0100 | wenzelm | omit unused markup; | changeset | files |
| Fri, 23 Dec 2016 11:19:28 +0100 | wenzelm | removed junk; | changeset | files |
| Thu, 22 Dec 2016 11:55:22 +0100 | wenzelm | proper clean_yxml; | changeset | files |
| Thu, 22 Dec 2016 11:38:16 +0100 | wenzelm | clarified modules; | changeset | files |