Does anybody understand the attached message, which seems to involve the new build system? Larry
~/isabelle/Repos/src/HOL: isabelle build HOL-ex ### Missing Isabelle component: "/Users/lp15/.isabelle/contrib/exec_process-1.0.2" Running HOL-ex … ~/isabelle/Repos/src/HOL: hg id 74ad6ecf2af2 tip _______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
