On 18/06/2013, at 9:15 PM, Christian Sternagel c.sterna...@gmail.com wrote:
On 06/18/2013 02:23 PM, Gerwin Klein wrote:
On 17/06/2013, at 12:45 PM, Lars Noschinski nosch...@in.tum.de wrote:
A more severe problem is that the URLs in the BibTeX data are wrong (both
for devel and release),
Hi,
the table for the devel-entries is not formatted correctly, e.g. in
http://afp.sourceforge.net/devel-entries/Graph_Theory.shtml
The status field shows
Status: [-STATUS-]
and has no background, in contrast to the rest of the table.
___
Hi Lars,
thanks for spotting that. I know what's going wrong (I'm parsing isabelle build
output wrong), and I have a more fundamental fix for it almost ready to go, but
it's on my computer at home which I can't access while travelling.
I'll be back end of June and will push it then.
Cheers,
On 17.06.2013 19:31, Gerwin Klein wrote:
Hi Lars,
thanks for spotting that. I know what's going wrong (I'm parsing isabelle build
output wrong), and I have a more fundamental fix for it almost ready to go, but
it's on my computer at home which I can't access while travelling.
I'll be back
On 17/06/2013, at 12:45 PM, Lars Noschinski nosch...@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