Mon, 20 Dec 2010 16:44:33 +0100 | wenzelm | proper identifiers for consts and types; | changeset | files |
Mon, 20 Dec 2010 15:24:25 +0100 | wenzelm | some attempts to fit diagnostic output into regular TTY (75-80 characters per line); | changeset | files |
Mon, 20 Dec 2010 15:19:15 +0100 | wenzelm | tuned/clarified some component settings; | changeset | files |