[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 2 05:26:34 CEST 2013

Previous message (by thread): [isabelle-dev] [PATCH 0 of 1] Fix top-level printing of exception messages containing forced-line breaks
Next message (by thread): [isabelle-dev] [PATCH 1 of 1] Fix top-level printing of exception messages containing forced-line breaks
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

A non-text attachment was scrubbed...
Name: isabelle-mainline.patch
Type: text/x-patch
Size: 2218 bytes
Desc: not available
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20130402/f3b7f2bb/attachment-0002.bin>

Previous message (by thread): [isabelle-dev] [PATCH 0 of 1] Fix top-level printing of exception messages containing forced-line breaks
Next message (by thread): [isabelle-dev] [PATCH 1 of 1] Fix top-level printing of exception messages containing forced-line breaks
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the isabelle-dev mailing list