[isabelle-dev] Formatting AFP Devel-Entries

Gerwin Klein Gerwin.Klein at nicta.com.au
Thu Jun 20 06:56:08 CEST 2013

On 18/06/2013, at 9:15 PM, Christian Sternagel <c.sternagel at gmail.com> wrote:

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

No, I didn't. No bibtex should point to devel entries, because they are not citable, they change all the time.

We should possibly remove the bibtex entirely from the devel-entries, but then devel loses its preview function for the main site.



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