Mercurial Mercurial > repos > isabelle / changelog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Wed, 26 Feb 2020 19:26:00 +0100 updated for release;
changeset
wenzelm [Wed, 26 Feb 2020 19:26:00 +0100] rev 71484
updated for release;
Wed, 26 Feb 2020 16:08:05 +0100 merged
changeset
wenzelm [Wed, 26 Feb 2020 16:08:05 +0100] rev 71483
merged
Wed, 26 Feb 2020 16:03:29 +0100 updated for release;
changeset
wenzelm [Wed, 26 Feb 2020 16:03:29 +0100] rev 71482
updated for release;
Wed, 26 Feb 2020 15:41:27 +0100 updated version;
changeset
wenzelm [Wed, 26 Feb 2020 15:41:27 +0100] rev 71481
updated version;
Wed, 26 Feb 2020 15:38:13 +0100 obsolete;
changeset
wenzelm [Wed, 26 Feb 2020 15:38:13 +0100] rev 71480
obsolete;
Wed, 26 Feb 2020 15:38:04 +0100 less ambitious preview: discontinued preview-update / preview-source which did not work on the spot via WebviewPanel;
changeset
wenzelm [Wed, 26 Feb 2020 15:38:04 +0100] rev 71479
less ambitious preview: discontinued preview-update / preview-source which did not work on the spot via WebviewPanel;
Wed, 26 Feb 2020 15:34:52 +0100 misc tuning and clarification;
changeset
wenzelm [Wed, 26 Feb 2020 15:34:52 +0100] rev 71478
misc tuning and clarification;
Wed, 26 Feb 2020 14:47:36 +0100 obsolete;
changeset
wenzelm [Wed, 26 Feb 2020 14:47:36 +0100] rev 71477
obsolete;
Wed, 26 Feb 2020 14:43:43 +0100 proper message passing -- discontinued obsolete auxiliary commands;
changeset
wenzelm [Wed, 26 Feb 2020 14:43:43 +0100] rev 71476
proper message passing -- discontinued obsolete auxiliary commands;
Tue, 25 Feb 2020 21:28:06 +0100 clarified Panel;
changeset
wenzelm [Tue, 25 Feb 2020 21:28:06 +0100] rev 71475
clarified Panel; discontinued intermediate Content_Provider;
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 tip
isabelle