Re: [isabelle] BibTeX files on AFP



Thanks to Joachim, the AFP now shows bibtex for each entry.

Happy citing!

Cheers,
Gerwin


On 25.04.2013, at 7:06 PM, Gerwin Klein <gerwin.klein at nicta.com.au> wrote:

> On 25/04/2013, at 5:44 PM, Joachim Breitner <breitner at kit.edu> wrote:
>> I was about to re-do the BibTeX for AFP entries on our institute website
>> and while I found the example at http://afp.sourceforge.net/citing.shtml
>> I was surprised that the individual entries do not have a recommended
>> BibTeX file. Is there any reason not to provide that (besides that noone
>> has done it yet)?
>
> You mean there should be a generated bibtex file linked for each entry?
>
> I have had that on my todo list for a while, but haven't gotten around to it yet. (If somebody feels like hacking python code, the relevant script is in the repository under admin/sitegen.py).


________________________________

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.




This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.