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
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
