Sat, 23 Sep 2000 16:02:01 +0200 | paulson | added compatibility relation: AllowedActs, Allowed, ok, | file | diff | annotate |
Fri, 21 Jul 2000 18:01:36 +0200 | paulson | much tidying in connection with the 2nd UNITY paper | file | diff | annotate |
Thu, 22 Jun 2000 11:35:28 +0200 | paulson | fixed the merge spec (NbT -> Nclients) and added the distributor spec | file | diff | annotate |
Fri, 02 Jun 2000 18:32:04 +0200 | paulson | The Allocator Implementation (not yet working) | file | diff | annotate |