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: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 :-);
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 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip
isabelle