| Fri, 21 Mar 2025 22:26:18 +0100 | wenzelm | 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); | file | diff | annotate |
| Sun, 02 Feb 2025 12:11:03 +0100 | wenzelm | tuned; | file | diff | annotate |
| Wed, 26 Jul 2023 20:15:31 +0200 | wenzelm | prefer Output.writeln for theory "results", as opposed to Output.state for genuine proof states (see f8c412a45af8, c668735fb8b5, ecf80e37ed1a); | file | diff | annotate |
| Tue, 18 Apr 2023 22:24:48 +0200 | wenzelm | tuned; | file | diff | annotate |
| Tue, 06 Sep 2022 21:06:20 +0200 | wenzelm | clarified goal structure with proper instantiation of main goal, to support "show_goal_inst"; | file | diff | annotate |
| Sun, 26 Sep 2021 18:49:55 +0200 | wenzelm | improper proof command 'guess' moved to separate theory "Pure-ex.Guess"; | file | diff | annotate |