Tue, 30 Sep 1997 12:52:15 +0200 There is now one single option -i for generating theory browsing
berghofe [Tue, 30 Sep 1997 12:52:15 +0200] rev 3747
There is now one single option -i for generating theory browsing information instead of the two options -h and -g .
Tue, 30 Sep 1997 12:49:16 +0200 Modified some links.
berghofe [Tue, 30 Sep 1997 12:49:16 +0200] rev 3746
Modified some links.
Tue, 30 Sep 1997 11:03:55 +0200 Client, Server certificates now sent using the separate Certificate rule,
paulson [Tue, 30 Sep 1997 11:03:55 +0200] rev 3745
Client, Server certificates now sent using the separate Certificate rule, simplifying ServerHello and ClientKeyExch. Resumption no longer needs its own version of ServerHello. Proofs run nearly three minutes faster.
Mon, 29 Sep 1997 15:39:28 +0200 tuned;
wenzelm [Mon, 29 Sep 1997 15:39:28 +0200] rev 3744
tuned;
Mon, 29 Sep 1997 15:16:22 +0200 superficial;
wenzelm [Mon, 29 Sep 1997 15:16:22 +0200] rev 3743
superficial;
Mon, 29 Sep 1997 15:11:27 +0200 obsolete;
wenzelm [Mon, 29 Sep 1997 15:11:27 +0200] rev 3742
obsolete;
Mon, 29 Sep 1997 15:08:47 +0200 margin 76 (2nd try :-);
wenzelm [Mon, 29 Sep 1997 15:08:47 +0200] rev 3741
margin 76 (2nd try :-);
Mon, 29 Sep 1997 14:12:02 +0200 fixed href to html library;
wenzelm [Mon, 29 Sep 1997 14:12:02 +0200] rev 3740
fixed href to html library;
Mon, 29 Sep 1997 14:11:18 +0200 improved warning;
wenzelm [Mon, 29 Sep 1997 14:11:18 +0200] rev 3739
improved warning;
Mon, 29 Sep 1997 14:10:52 +0200 default margin 76 (to accomodate warning and error default output);
wenzelm [Mon, 29 Sep 1997 14:10:52 +0200] rev 3738
default margin 76 (to accomodate warning and error default output);
(0) -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip