[isabelle-dev] AODV

Makarius makarius at sketis.net
Thu Dec 11 10:48:23 CET 2014

On Wed, 10 Dec 2014, Gerwin Klein wrote:

> In my setup at least I have additional components for other projects I’m 
> working on, so running plain ‘build -a’ rarely makes sense. The story is 
> different when only core Isabelle and AFP are the registered components 
> which would be the case when the main work is on the Isabelle side.

I usually follow the model that "-a" is used by default, but projects can 
be swapped in or out via "-d" options (or ROOTS) entries.

Eventually there might be GUI support for that in the Prover IDE, e.g. to 
tick directories on or off.

> I’ll have a look at changing the ROOT file, the development mode for the 
> AODV entry is mostly over anyway, so I might just remove the additional 
> sessions.

Thanks.  I am looking forward to run again at full speed.  I am also about 
to get some more cores within the next few days.


                     http://stop-ttip.org  1,127,154 people so far

More information about the isabelle-dev mailing list