| Wed, 04 Apr 2007 00:11:20 +0200 | wenzelm | renamed Output.has_mode to print_mode_active; | changeset | files |
| Wed, 04 Apr 2007 00:11:18 +0200 | wenzelm | tuned comment; | changeset | files |
| Wed, 04 Apr 2007 00:11:17 +0200 | wenzelm | cleaned-up Output functions; | changeset | files |