Tue, 05 Nov 1996 18:35:40 +0100 | nipkow | New version of paper. | changeset | files |
Tue, 05 Nov 1996 11:48:09 +0100 | paulson | Replaced the very slow "find" command by "rm" with wildcards | changeset | files |
Tue, 05 Nov 1996 11:20:52 +0100 | paulson | Simplified new_keys_not_seen, etc.: replaced the | changeset | files |