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