Hi Makarius, On 09/04/13 02:06, Makarius wrote: > Sorry, I did not mean to re-open this messy thread anytime soon, but > David Matthews had offered his help with forced breaks in Poly/ML in > privite mail. Since I did not want to waste his time as well, I've > looked through the situation in Isabelle/ML once more, eventually > resulting in http://isabelle.in.tum.de/repos/isabelle/rev/b7f908c99546
Thank you for these changes. I just wanted to confirm that in this revision the forced-break-in-an-exception printing problem that I was experiencing appears to fixed, as is the forced-break-in-a-PolyML.makestring problem. Cheers, David ________________________________ The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments. _______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
