| Thu, 25 Sep 2008 09:28:03 +0200 | haftmann | discontinued special treatment of op = vs. eq_class.eq | changeset | files |
| Wed, 24 Sep 2008 19:39:25 +0200 | wenzelm | report: produce individual status messages; | changeset | files |
| Wed, 24 Sep 2008 19:33:14 +0200 | wenzelm | protocol change: remapped message codes to make room for nested system messages (e.g. for protocol proxy); | changeset | files |
| Wed, 24 Sep 2008 19:33:13 +0200 | wenzelm | protocol change: remapped message codes to make room for nested system messages (e.g. for protocol proxy); | changeset | files |
| Wed, 24 Sep 2008 18:08:42 +0200 | wenzelm | init: OuterKeyword.report; | changeset | files |
| Tue, 23 Sep 2008 23:07:48 +0200 | wenzelm | prove_multi: immediate; | changeset | files |