| Mon, 29 Dec 2014 19:17:24 +0100 | wenzelm | tuned whitespace; | changeset | files |
| Mon, 29 Dec 2014 15:38:59 +0100 | wenzelm | more toplevel pretty printing; | changeset | files |
| Sun, 28 Dec 2014 22:10:09 +0100 | wenzelm | back to full synchronization (cf. eb3e399f5b9f); | changeset | files |