| Tue, 16 Sep 1997 13:32:22 +0200 | paulson | TLS now with a distinction between premaster secret and master secret | changeset | files |
| Fri, 12 Sep 1997 10:45:51 +0200 | mueller | extended adm_tac; | changeset | files |
| Thu, 11 Sep 1997 16:20:56 +0200 | wenzelm | replaced print_goals_ref hook by print_current_goals_fn and | changeset | files |