On 11 Jul 2016, at 16:03, Johannes Hölzl <hoe...@in.tum.de> wrote: > > 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. ?
That would not be too hard, but > I’m sure there are quite some papers which reference the /devel entries. I should hope not - they make no sense to cite, because their whole purpose is to change on a daily basis. Cheers, Gerwin ________________________________ The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments. _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev