Deleted from Cambridge.
Larry
> On 9 Dec 2017, at 12:16, Makarius wrote:
>
> Since the mirror rsync procedure is conservative by default, the other
> mirror sites should also remove haskabelle.html manually.
___
isabelle-dev
On 13/10/16 09:52, Makarius wrote:
> What is the maintenance status of Haskabelle?
>
> There is still at least one open point concerning the new "isabelle
> process" wrapper and discontinuation of the old $ISABELLE_PROCESS.
>
> See also
>
>
>
Is there anyone who knows how the Haskabelle test is setup and can
change it so it runs not only if the Haskabelle repository changes, but
also if the Isabelle repository changed?
I guess you are referring to the Haskabelle test inside mira. As far as
I remember, this is the behaviour of the