On 06/18/2013 02:23 PM, Gerwin Klein wrote:
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.
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
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
