[isabelle-dev] Small repository accident

Makarius makarius at sketis.net
Fri Feb 24 16:23:54 CET 2012

On Fri, 24 Feb 2012, Makarius wrote:

> It is also possible to have .hg/hgrc specific to individual repository 
> clones.  So if testboard users are instructed to augment only that hgrc 
> with the evil option once and for all, the problem of getting used to 
> evil command lines in a different context is avoided.

This thread shows that I am not using testboard myself.  Isn't it used 
mainly by pushing the same clone to a different target?  So the above does 
not work that way.

Where do I have to look for explanations about testboard?  It would help 
to understand the practical issues that it addresses, so that the emerging 
renovations of the build and test process of Isabelle/Scala move in the 
same general direction.


More information about the isabelle-dev mailing list