[isabelle-dev] Formatting AFP Devel-Entries

Lars Noschinski noschinl at in.tum.de
Mon Jun 17 21:45:06 CEST 2013

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

More information about the isabelle-dev mailing list