From: Makarius <makarius@sketis.net> This is still open, as far as I can see. Is there anything to add for the purpose of Isabelle2015 release candidates?
Makarius
Last updated: Mar 29 2024 at 08:18 UTC