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.
Makarius
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
