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 16:19:27 +0200
obsolete;
changeset
wenzelm [Tue, 30 Sep 1997 16:19:27 +0200] rev 3750
obsolete;
Tue, 30 Sep 1997 16:12:38 +0200
ISABELLE_USEDIR_OPTIONS="-i true"
changeset
wenzelm [Tue, 30 Sep 1997 16:12:38 +0200] rev 3749
ISABELLE_USEDIR_OPTIONS="-i true"
Tue, 30 Sep 1997 12:53:54 +0200
Changed html data directory and names of graph files.
changeset
berghofe [Tue, 30 Sep 1997 12:53:54 +0200] rev 3748
Changed html data directory and names of graph files.
Tue, 30 Sep 1997 12:52:15 +0200
There is now one single option -i for generating theory browsing
changeset
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.
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 :-);
(0)
-3000
-1000
-300
-100
-10
+10
+100
+300
+1000
+3000
+10000
+30000
tip