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