Mercurial Mercurial > repos > isabelle / changelog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -4 +4 +10 +30 +100 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Fri, 21 Mar 2025 22:26:18 +0100 more uniform Proof_Display.print_results for theory and proof output --- avoid loss of information seen in src/Doc/JEdit/document/output-and-state.png (the first bad changeset is f8c412a45af8, see also 53b59fa42696);
changeset
wenzelm [Fri, 21 Mar 2025 22:26:18 +0100] rev 82317
more uniform Proof_Display.print_results for theory and proof output --- avoid loss of information seen in src/Doc/JEdit/document/output-and-state.png (the first bad changeset is f8c412a45af8, see also 53b59fa42696);
Fri, 21 Mar 2025 18:37:05 +0100 support for writeln_urgent, which is shown in Output before state messages (reminiscent of old Output.urgent_message before 521cea5fa777);
changeset
wenzelm [Fri, 21 Mar 2025 18:37:05 +0100] rev 82316
support for writeln_urgent, which is shown in Output before state messages (reminiscent of old Output.urgent_message before 521cea5fa777);
Fri, 21 Mar 2025 16:42:20 +0100 merged
changeset
desharna [Fri, 21 Mar 2025 16:42:20 +0100] rev 82315
merged
Fri, 21 Mar 2025 15:20:13 +0100 tuned proof
changeset
desharna [Fri, 21 Mar 2025 15:20:13 +0100] rev 82314
tuned proof
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -4 +4 +10 +30 +100 tip
isabelle