| Wed, 22 Dec 1999 16:12:38 +0100 | kleing | some tuning (incorporated David's suggestions) | changeset | files |
| Tue, 21 Dec 1999 15:03:02 +0100 | paulson | working with weak LeadsTo in guarantees precondition\! | changeset | files |
| Tue, 21 Dec 1999 11:27:32 +0100 | oheimb | corrected, improved eMail addresses, user interface section | changeset | files |
| Fri, 17 Dec 1999 10:30:48 +0100 | paulson | now workign as far as System_Alloc_Progress | changeset | files |
| Thu, 16 Dec 1999 17:01:16 +0100 | paulson | SOUNDNESS BUG FIX for rotate_rule. The original code did not expect | changeset | files |
| Wed, 15 Dec 1999 10:45:37 +0100 | paulson | first working version to Alloc/System_Client_Progress; | changeset | files |
| Mon, 13 Dec 1999 10:54:04 +0100 | paulson | expandshort | changeset | files |