| 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 |