[isabelle-dev] Haskabelle unmaintained

Lawrence Paulson lp15 at cam.ac.uk
Mon Dec 11 11:54:28 CET 2017

Deleted from Cambridge.

> On 9 Dec 2017, at 12:16, Makarius <makarius at sketis.net> wrote:
> Since the mirror rsync procedure is conservative by default, the other
> mirror sites should also remove haskabelle.html manually.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20171211/45e53a5d/attachment-0002.html>

More information about the isabelle-dev mailing list