On 17/06/2013, at 12:45 PM, Lars Noschinski <[email protected]> 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. _______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
