[isabelle-dev] AODV

[Makarius]

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.


 	Makarius

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