try GTK 3: some visual dropouts, but more stable e.g. in Sidekick "isabelle-markup";
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLEbf573ed376ef: detect arm64-darwin more reliably: uname could be in x86_64 mode, e.g. within…
- Branches
- Unknown
- Tags