I believe you need to do isabelle components -a
and it will download all missing components. It's a really neat system. Tobias Am 04/10/2012 15:47, schrieb Lawrence Paulson: > 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 > _______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
