[isabelle-dev] Formatting AFP Devel-Entries

Christian Sternagel c.sternagel at gmail.com
Wed Jun 19 06:15:47 CEST 2013

On 06/18/2013 02:23 PM, Gerwin Klein wrote:
> On 17/06/2013, at 12:45 PM, Lars Noschinski <noschinl at in.tum.de> wrote:
>> A more severe problem is that the URLs in the BibTeX data are wrong (both for devel and release), they are missing the ".shtml" suffix.
Also for devel, the URLs were pointing to "entries" instead of 
"devel-entries", but maybe you fixed this already in the meantime?



> Thanks. How embarrassing. These are fixed now in the release version and should pop up in the devel version when the next test results get pushed.
> 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