On Di, 2013-10-01 at 14:12 +0900, Christian Sternagel wrote: > Thanks Jasmin! > > @Peter: Does this patch work with your developments as expected? >
At first glance, everything looks fine! Thank you for fixing this. -- Peter p.s. I've commited the patch, it's e13b0c88c798 _______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
