| Wed, 01 Oct 1997 13:42:18 +0200 | paulson | Strengthened the possibility property for resumption so that it could have | changeset | files |
| Wed, 01 Oct 1997 13:41:38 +0200 | paulson | Fixed ServerResume to check for ServerHello instead of making a new NB | changeset | files |
| Wed, 01 Oct 1997 12:07:24 +0200 | paulson | Exchanged the M and SID fields of the FINISHED messages to simplify proofs; | changeset | files |
| Wed, 01 Oct 1997 12:07:07 +0200 | paulson | Exchanged the M and SID fields of the FINISHED messages to simplify proofs | changeset | files |
| Wed, 01 Oct 1997 11:30:55 +0200 | paulson | Auto update | changeset | files |
| Tue, 30 Sep 1997 17:33:16 +0200 | berghofe | SYNC | changeset | files |
| Tue, 30 Sep 1997 17:32:33 +0200 | berghofe | Removed "browse.tex". | changeset | files |