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
Hi all,
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 procedure for this?
Cheers,
Florian
--
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
>
>
>
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/b885ee4618d8/lib/mk_adapt#l57
Hi,
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?
-- Lars
___
isabelle-dev mailing list
isabelle-...@in.tum.de
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