[isabelle-dev] Build NEWS

Gerwin Klein Gerwin.Klein at nicta.com.au
Mon Jul 11 08:09:58 CEST 2016

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.



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.

More information about the isabelle-dev mailing list