On 14/07/2026 23:31, Lawrence Paulson wrote: > Could this be used with Isabelle 2025-2? Maybe. We have not tried it. Isabelle development is linear, moving forward on a single branch, or rather no branches at all. Makarius