[isabelle-dev] Small repository accident

Florian Haftmann florian.haftmann at informatik.tu-muenchen.de
Fri Feb 24 18:35:55 CET 2012

Hi all,

>> 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.

Indeed.  I would also prefer a server-side solution in the testboard
repositories (is there any way to permit a push generating new heads in

> 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.

Neither the generic mira nor the specific testboard so far have any
public prominence;  there are some documentation snippets in the doc
directory of the mira sources, e.g.


(this is surely outdated, e.g. cf. ll. 52/52: »NOTE: This is at least
the idea; the current infrastructure does not yet make this very
feasible in practice.«)



PGP available:

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 262 bytes
Desc: OpenPGP digital signature
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20120224/9a060995/attachment.sig>

More information about the isabelle-dev mailing list