[isabelle-dev] Formatting AFP Devel-Entries

[Gerwin Klein]

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.

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.