Re: [isabelle-dev] Haskabelle unmaintained

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

[isabelle-dev] Haskabelle unmaintained

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