[isabelle-dev] proof state layout

Tobias Nipkow nipkow at in.tum.de
Fri Jul 24 13:34:11 CEST 2020

When I look at how proof states are displayed in the document prog-prove.pdf 
dated April 29 it looks like it always did. However, when I produced the same 
document today I find that the pretty printer no longer inserts line breaks in 
subgoals but displays them as one long line. For example on page 11. What 
happened and how can I get the line breaks back?


-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 5579 bytes
Desc: S/MIME Cryptographic Signature
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20200724/67453343/attachment.bin>

More information about the isabelle-dev mailing list