[isabelle-dev] Formatting AFP Devel-Entries
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.
More information about the isabelle-dev