[isabelle-dev] Missing Isabelle component

[Tobias Nipkow]

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
> isabelle-dev at in.tum.de
> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
>