Mercurial
Mercurial
>
repos
>
isabelle
/ changelog
summary
|
shortlog
| changelog |
graph
|
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
(0)
-3000
-1000
-300
-100
-10
+10
+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 12:49:16 +0200
Modified some links.
changeset
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,
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;
Mon, 29 Sep 1997 14:11:18 +0200
improved warning;
changeset
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);
changeset
wenzelm [Mon, 29 Sep 1997 14:10:52 +0200] rev 3738
default margin 76 (to accomodate warning and error default output);
Mon, 29 Sep 1997 12:13:43 +0200
Step_tac -> Safe_tac
changeset
paulson [Mon, 29 Sep 1997 12:13:43 +0200] rev 3737
Step_tac -> Safe_tac
(0)
-3000
-1000
-300
-100
-10
+10
+100
+300
+1000
+3000
+10000
+30000
tip