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 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Tue, 19 Nov 2024 15:34:58 +0100 re-use Output_Area;
changeset
wenzelm [Tue, 19 Nov 2024 15:34:58 +0100] rev 81491
re-use Output_Area;
Tue, 19 Nov 2024 15:25:11 +0100 re-use Output_Area;
changeset
wenzelm [Tue, 19 Nov 2024 15:25:11 +0100] rev 81490
re-use Output_Area;
Tue, 19 Nov 2024 10:52:02 +0100 re-use Output_Area with search results;
changeset
wenzelm [Tue, 19 Nov 2024 10:52:02 +0100] rev 81489
re-use Output_Area with search results;
Tue, 19 Nov 2024 10:40:19 +0100 re-use Output_Area with search results;
changeset
wenzelm [Tue, 19 Nov 2024 10:40:19 +0100] rev 81488
re-use Output_Area with search results;
Tue, 19 Nov 2024 10:14:22 +0100 more thorough init;
changeset
wenzelm [Tue, 19 Nov 2024 10:14:22 +0100] rev 81487
more thorough init;
Tue, 19 Nov 2024 10:11:37 +0100 clarified signature: prefer defaults for Output_Dockable (and its variants);
changeset
wenzelm [Tue, 19 Nov 2024 10:11:37 +0100] rev 81486
clarified signature: prefer defaults for Output_Dockable (and its variants);
Tue, 19 Nov 2024 10:11:17 +0100 unused;
changeset
wenzelm [Tue, 19 Nov 2024 10:11:17 +0100] rev 81485
unused;
Mon, 18 Nov 2024 16:48:11 +0100 tuned output: formatting is pointless for proportional font;
changeset
wenzelm [Mon, 18 Nov 2024 16:48:11 +0100] rev 81484
tuned output: formatting is pointless for proportional font;
Mon, 18 Nov 2024 15:05:31 +0100 clarified Tree_View.init_model: more uniform;
changeset
wenzelm [Mon, 18 Nov 2024 15:05:31 +0100] rev 81483
clarified Tree_View.init_model: more uniform;
Mon, 18 Nov 2024 14:47:17 +0100 more robust update;
changeset
wenzelm [Mon, 18 Nov 2024 14:47:17 +0100] rev 81482
more robust update;
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 tip
isabelle