| 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 |
| Sun, 06 Jan 2008 15:57:49 +0100 | wenzelm | removed obsolete prompt and channel markups; | changeset | files |
| Sat, 05 Jan 2008 23:05:29 +0100 | chaieb | Tuned relevant premises selection | changeset | files |
| Sat, 05 Jan 2008 21:57:18 +0100 | wenzelm | tuned comments; | changeset | files |
| Sat, 05 Jan 2008 21:37:24 +0100 | wenzelm | added symbol output mode, with XML escapes; | changeset | files |