[isabelle-dev] Jenkins maintenance window

Makarius makarius at sketis.net
Tue Feb 16 11:30:52 CET 2016

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 


More information about the isabelle-dev mailing list