| Wed, 13 Feb 2013 13:38:52 +0100 | haftmann | tuned, particulary name | changeset | files |
| Wed, 13 Feb 2013 13:38:52 +0100 | haftmann | formal cleanup of sources | changeset | files |
| Wed, 13 Feb 2013 13:38:52 +0100 | haftmann | another attempt for a uniform abort on code generation errors | changeset | files |
| Wed, 13 Feb 2013 13:38:52 +0100 | haftmann | tuned spelling | changeset | files |
| Wed, 13 Feb 2013 12:06:21 +0100 | wenzelm | removed obsolete RC tags; | changeset | files |
| Wed, 13 Feb 2013 11:46:48 +0100 | wenzelm | merged; | changeset | files |
| Tue, 12 Feb 2013 17:39:45 +0100 | wenzelm | detect more hosts; | changeset | files |