| Sun, 03 May 2015 20:04:38 +0200 | wenzelm | tuned output to resemble input syntax more closely; | changeset | files |
| Sun, 03 May 2015 18:51:26 +0200 | wenzelm | updated Eisbach, using version fb741500f533 of its Bitbucket repository; | changeset | files |
| Sun, 03 May 2015 18:45:58 +0200 | wenzelm | proper header; | changeset | files |
| Sun, 03 May 2015 18:13:15 +0200 | wenzelm | tuned output; | changeset | files |
| Sun, 03 May 2015 17:52:27 +0200 | wenzelm | tuned output; | changeset | files |
| Sun, 03 May 2015 17:41:54 +0200 | wenzelm | tuned output; | changeset | files |