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 _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev