| 2008-01-06 | wenzelm | added explicit prompt channel (prompt_fn/prompt); | changeset | files |
| 2008-01-06 | wenzelm | removed obsolete prompt and channel markups; | changeset | files |
| 2008-01-05 | chaieb | Tuned relevant premises selection | changeset | files |
| 2008-01-05 | wenzelm | tuned comments; | changeset | files |
| Loading... | |||