Mercurial Mercurial > repos > isabelle / changelog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -3000 -1000 -300 -100 -30 -10 -6 +6 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Tue, 30 Sep 1997 11:03:55 +0200 Client, Server certificates now sent using the separate Certificate rule,
changeset
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;
changeset
wenzelm [Mon, 29 Sep 1997 15:39:28 +0200] rev 3744
tuned;
Mon, 29 Sep 1997 15:16:22 +0200 superficial;
changeset
wenzelm [Mon, 29 Sep 1997 15:16:22 +0200] rev 3743
superficial;
Mon, 29 Sep 1997 15:11:27 +0200 obsolete;
changeset
wenzelm [Mon, 29 Sep 1997 15:11:27 +0200] rev 3742
obsolete;
Mon, 29 Sep 1997 15:08:47 +0200 margin 76 (2nd try :-);
changeset
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;
changeset
wenzelm [Mon, 29 Sep 1997 14:12:02 +0200] rev 3740
fixed href to html library;
(0) -3000 -1000 -300 -100 -30 -10 -6 +6 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip
isabelle