[isabelle-dev] Build NEWS

Lars Hupel hupel at in.tum.de
Sun Jul 17 13:56:02 CEST 2016

> Anyway, there's now a reboot of these pages available at:
>   <https://devel.isa-afp.org/>
> Note that this is a preview: The status is still [skipped] everywhere
> and most download links don't work. This will be fixed some time this week.

This is now done, see for example



More information about the isabelle-dev mailing list