| Sun, 06 Jan 2008 15:57:54 +0100 | wenzelm | removed obsolete prompt markup; | changeset | files |
| Sun, 06 Jan 2008 15:57:52 +0100 | wenzelm | removed unused of_stream; | changeset | files |
| Sun, 06 Jan 2008 15:57:51 +0100 | wenzelm | added explicit prompt channel (prompt_fn/prompt); | changeset | files |