[isabelle-dev] Formatting AFP Devel-Entries

[Lars Noschinski]

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 end of June and will push it then.

Thanks for looking into that. 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.

   -- Lars