| Sun, 23 Mar 2025 17:07:55 +0100 | wenzelm | remove junk (amending 0811cfce1f5b); | changeset | files |
| Sun, 23 Mar 2025 15:12:20 +0100 | wenzelm | support for "isabelle jedit -o OPTION"; | changeset | files |
| Sat, 22 Mar 2025 23:03:11 +0100 | wenzelm | discontinue macOS 11 Big Sur; | changeset | files |
| Sat, 22 Mar 2025 22:58:23 +0100 | wenzelm | reactivate test after upgrade from macOS 11 to 12, with refresh of Xcode + homebrew; | changeset | files |
| Sat, 22 Mar 2025 13:54:18 +0100 | wenzelm | clarified signature: more explicit type Sessions.Conditions; | changeset | files |
| 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 |