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 mailing list
isabelle-...@
On 09/12/17 10:51, Florian Haftmann wrote:
>
> I see that the old Haskabelle website is still a regular part of the
> Isabelle website: http://isabelle.in.tum.de/haskabelle.html
>
> Since Haskabelle is no out of maintainance it is outdated and should be
> removed. What is the recommended procedu
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
>
>
> http://isabelle.in.tum.de/repos/haskabelle/annotate/
> 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 th