[isabelle-dev] Jenkins maintenance window

[Makarius]

On Tue, 16 Feb 2016, Dmitriy Traytel wrote:

> I am unsure if an Isabelle tool is the right level of abstraction for an 
> operation, only members of the isabelle (UNIX) group at TUM can/should 
> execute.

BTW, the Isabelle tool name space is not hardwired. Any "component" can 
add new tool directories by augmenting ISABELLE_TOOLS.

So there could be a "testboard" component to abstract whatever needs to be 
abstracted.


 	Makarius