[isabelle-dev] Build NEWS

Johannes Hölzl hoelzl at in.tum.de
Mon Jul 11 08:03:21 CEST 2016

Am Sonntag, den 10.07.2016, 22:37 +0200 schrieb Lars Hupel:
> Dear AFP developers,
> some of you may have noticed that the "AFP devel" pages have not been
> updated since April. This is partly my fault because I migrated the
> infrastructure and partly not my fault because the scripts to produce
> these pages make a lot of assumptions about the infrastructure :-)
> 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.
> As soon as that's done, the old links ("/devel-entries" and the like)
> will go offline.

Can't we just let the /devel-entries redirect to http://devel. ?  I'm
sure there are quite some papers which reference the /devel entries.

> Cheers
> Lars

 - Johannes

More information about the isabelle-dev mailing list