[isabelle-dev] Formatting AFP Devel-Entries

[Christian Sternagel]

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?

cheers

chris

>
> 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
>