[isabelle-dev] Build NEWS

Andreas Lochbihler andreas.lochbihler at inf.ethz.ch
Mon Jul 11 08:29:33 CEST 2016

For published versions, there probably should not be any /devel-entries links. But for 
papers under submission, people may have updated their AFP entries and want the reviewers 
to access the updated material. At least that is what I used to do for many ITP 
submissions. So it might be good to keep the /devel-entries URLs alive at least for some 
transition period.


On 11/07/16 08:09, Gerwin Klein wrote:
> On 11 Jul 2016, at 16:03, Johannes Hölzl <hoelzl at 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-dev at in.tum.de
> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev

More information about the isabelle-dev mailing list