[isabelle-dev] Formatting AFP Devel-Entries

Gerwin Klein Gerwin.Klein at nicta.com.au
Tue Jun 18 07:23:28 CEST 2013

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.



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