The future of macos vs. macos_arm
Lawrence Paulson
lp15 at cam.ac.uk
Sat Jan 24 16:50:52 CET 2026
I can't think of a better way to open a particular theory that may be sitting in a deeply nested directory.
> On 24 Jan 2026, at 15:02, Makarius <makarius at sketis.net> wrote:
>
> Concerning drag-and-drop, it should be possible to find open-source examples out there and imitate them. I've always ignored drag-and-drop in particular, because it reminds me on super-retro desktop interaction from the late 1980s or early 1990s.
More information about the isabelle-dev
mailing list