[isabelle-dev] [PATCH 1 of 1] Fix top-level printing of exception messages containing forced-line breaks

David Greenaway david.greenaway at nicta.com.au
Tue Apr 9 02:08:54 CEST 2013


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.



More information about the isabelle-dev mailing list