On 28/11/2019 15:06, Makarius wrote: > In other words: users who want to use Isabelle2019 with everything as expected > need to stay away from the macOS update. > > It is clear that such things need to be updated eventually. The standard > scheme is to have everything working with Catalina with the next official > Isabelle release.
Spending 1min on the problem I've found the following website: https://gizmodo.com/12-things-you-can-do-in-macos-catalina-that-you-couldnt-1838822074 including this comment at the top of the list at the bottom: """ And one major thing you can’t do in Catalina: use 32-bit software. Most of my software is fine, but it’s amazing how much professional software still mixes in 32-bit components. I’m going to have to wait for upgrades over the next few months before I even consider Catalina. """ Makarius _______________________________________________ isabelle-dev mailing list [email protected] https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
