| 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); | changeset | files |
| Fri, 21 Mar 2025 18:37:05 +0100 | wenzelm | support for writeln_urgent, which is shown in Output before state messages (reminiscent of old Output.urgent_message before 521cea5fa777); | changeset | files |
| Fri, 21 Mar 2025 16:42:20 +0100 | desharna | merged | changeset | files |
| Fri, 21 Mar 2025 15:20:13 +0100 | desharna | tuned proof | changeset | files |
| Fri, 21 Mar 2025 14:21:44 +0100 | desharna | added lemma trans_on_diff_Id | changeset | files |
| Fri, 21 Mar 2025 14:35:11 +0100 | Fabian Huch | proper deletion: use facet fields that are not tokenized; | changeset | files |